rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

fix import in main

Browse source
This commit is contained in:
rhiannon morris 2021-09-09 23:51:00 +02:00
parent 5baade8dd5
commit b29fd538e4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Quox.idr
View file

@ -1,6 +1,6 @@
module Quox module Quox
import public Quox.Syntax.Term import public Quox.Syntax
import public Quox.Pretty import public Quox.Pretty
import Data.Nat import Data.Nat