MiniAgda, an experimental language with sized dependent types. Moved to github. (https://github.com/andreasabel/miniagda)
root
- doc
- examples
- hcar
- lib
- slides
- test
- Abstract.hs
- Abstract.hs-boot
- CHANGELOG
- CallStack.hs
- Collection.hs
- Concrete.hs
- Eval.hs
- Eval.hs-boot
- Extract.hs
- HsSrcExtTests.hs
- HsSyntax.hs
- LICENSE
- Lexer.x
- Main.hs
- Makefile
- MiniAgda.cabal
- Parser.y
- Polarity.hs
- PrettyTCM.hs
- SCT.hs
- SCTParser.hs
- SCTSyntax.hs
- SPos.hs
- ScopeChecker.hs
- Semiring.hs
- Setup.hs
- SparseMatrix.hs
- TCM.hs
- TCM.hs-boot
- TermCheck1.hs
- TermCheck2.hs
- Termination.hs
- ToHaskell.hs
- Tokens.hs
- TraceError.hs
- TreeShapedOrder.hs
- TypeChecker.hs
- Util.hs
- Value.hs
- Value.hs-boot
- Warshall.hs
- compile.sh
- upload.sh