Agda-sessions: Learn the Agda basics in three 2-hour sessions (github.com) 3 points by mauricioc 7y ago ↗ HN
0 comments
[ 2.7 ms ] story [ 10.7 ms ] threadNo comments yet.