The Nest
Explore
Sign in
fogti
gardground
core
0
Code
Changes
Tags
Discussions
main
fogti
feat(Syntax.Abstract): add unification and type checking
on August 26, 2024
lib
feat(Syntax.Abstract): add unification and type checking
on August 26, 2024
test
add ScopeMask (incl. property test)
on August 26, 2024
LICENSE
+LICENSE
on August 21, 2024
LICENSE.smalltt
add ScopeMask (incl. property test)
on August 26, 2024
gardground-core.cabal
use list instead of deque
on August 26, 2024