MiniAgda

https://github.com/andreasabel/miniagda

A tiny dependently-typed programming language with sized types, variances, and a termination checker...

Tokens:887
Snippets:19
Trust Score:9.6
License:MIT
Update:1 month ago
Tokens:
Raw