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