andreasabel / miniagda

A prototypical dependently typed languages with sized types and variances

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

andreasabel/miniagda Stargazers