less prototype, less bad code implementation of CCHM type theory
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 

15 lines
156 B

.stack-work/
dist-newstyle
*.hi-boot
*.o
*.o-boot
*.hi
src/Presyntax/Lexer.hs
src/Presyntax/Parser.hs
*.js
!web/interaction.js
*.wasm
cabal.project.local