The Nest
Explore
Sign in
fogti
gardground
0
Code
Changes
Tags
Discussions
main
fogti
feat(Syntax.Abstract): add unification and type checking
on August 26, 2024
core
add ScopeMask (incl. property test)
on August 26, 2024
examples
add simple stuff (e.g. haskell basics)
on August 21, 2024
.ignore
add simple stuff (e.g. haskell basics)
on August 21, 2024
README.md
initial commit
on August 1, 2024
cabal.project
add ScopeMask (incl. property test)
on August 26, 2024
README.md
gardground