Giters
Teniqaned

Teniqaned

Geek Repo

0

followers

2

following

5

stars

Github PK Tool:Github PK Tool

Teniqaned's repositories

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0