wr
hn
Top
New
Best
Ask
Show
Jobs
Back
Comment
Comment by xvilka
What the difference with Agda? Why not it?
parent
xvilka
10 years ago
Discussion
