jonmsterling.com / project-pterodactyl
www.jonmsterling.com/01HC
dependent-types proof-assistant
Star
Fork 3
Watch
project-pterodactyl haskell-pterodactyl src lib Core
1 folder · 11 files
Experiments
Config.hs
Evaluation.hs
Glued.hs
Info.hs
MetaState.hs
Syntax.hs
Syntax.hs-boot
Unification.hs
Unification.hs-boot
Value.hs
Value.hs-boot