learning-agda reviews and mentions
Posts with mentions or reviews of learning-agda.
We have used some of these posts to build our list of alternatives
and similar projects.
-
How far can I automate?
I have followed the first two chapters of Programming Language Foundations in Agda and so far it looks like this:
Stats
Basic learning-agda repo stats
1
0
0.0
over 1 year ago
The primary programming language of learning-agda is Agda.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com