8 lines
153 B
Lean4
8 lines
153 B
Lean4
|
import BidirTT.Syntax
|
||
|
|
import BidirTT.Value
|
||
|
|
import BidirTT.Pretty
|
||
|
|
import BidirTT.Eval
|
||
|
|
import BidirTT.Context
|
||
|
|
import BidirTT.Check
|
||
|
|
import BidirTT.Examples
|