apotheon / CopyfreeWorks

Copyfree Works: what it says on the tin --
http://copyfree.org/resources/works
8 stars 1 forks source link

dependent type languages #9

Closed apotheon closed 7 years ago