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