A hindley-milner typechecker with inductive types.
Updated
HTTP server library in Agda
Updated
Fork of https://github.com/fox32-arch/fox32rom/, mirrored at https://github.com/xeniagda/fox32rom-mirror/
Updated
Fork of https://github.com/fox32-arch/fox32os, mirrored at https://github.com/xeniagda/fox32os-mirror
Updated
Fork of https://github.com/fox32-arch/fox32asm, mirrored on github at https://github.com/xeniagda/fox32asm-mirror
Updated
Updated
Fork of https://github.com/fox32-arch/fox32, mirrored at https://github.com/xeniagda/fox32-mirror
Updated
Fork of https://github.com/fox32-arch/tools, mirrored at https://github.com/xeniagda/fox-tools-mirror
Updated
Updated
Updated
A literate formalization of categories with families in cubical agda.
Updated
Updated
Updated
"modern" haskell implementation of the algorithm described in the paper of the same name.
Updated
Updated