MiniAgda, an experimental language with sized dependent types. Moved to github. (https://github.com/andreasabel/miniagda)
root / hcar
- Makefile
- MiniAgda-AM-Nov2010.tex
- MiniAgda-AM-Nov2013.tex
- MiniAgda-AM.tex
- README
- hcar-2010-Nov.tex
- hcar-2011-May.tex
- hcar.sty
- main.tex
- template.tex
2010-11-10
For the next HCAR, start with MiniAgda-AM.tex