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

fixup! fix import in main

Browse source
This commit is contained in:
rhiannon morris 2021-09-09 23:53:37 +02:00
parent a2be5a468d
commit b29c56e0ae
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/Quox/Syntax.idr Normal file
View file

@ -0,0 +1,9 @@
module Quox.Syntax
import public Quox.Syntax.Dim
import public Quox.Syntax.Qty
import public Quox.Syntax.Shift
import public Quox.Syntax.Subst
import public Quox.Syntax.Term
import public Quox.Syntax.Universe
import public Quox.Syntax.Var