hub.darcs.net :: abel

abel's repositories

• miniagda — MiniAgda, an experimental language with sized dependent types. Moved to github. (https://github.com/andreasabel/miniagda)