cyberglot/faeth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
algebraic typechecking and elaboration of type systems
20 commits 2 branches 0 tags 334 KiB
  • Agda 76.5%
  • Haskell 23.5%
Find a file
Exact
april 253b8cc15f improve indentation of BidiSTLC
2024-10-22 15:10:49 +01:00
agda improve indentation of BidiSTLC 2024-10-22 15:10:49 +01:00
haskell overhaul project 2024-10-22 15:01:20 +01:00
.gitignore add .agdai files to gitignore 2024-10-22 15:05:31 +01:00