quox/src/Quox/Syntax.idr

11 lines
272 B
Idris
Raw Normal View History

2021-09-09 17:53:37 -04:00
module Quox.Syntax
import public Quox.Syntax.Dim
2021-12-23 13:05:00 -05:00
import public Quox.Syntax.DimEq
2021-09-09 17:53:37 -04:00
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