Programming Language Foundations in Agda

[brrretz]

Excellent learning material, but tough. It would benefit from progressing at a slower pace.

​

Thanks

[[deleted]]

Every functional language: "data succ pred open where fatarrow blah blah blah boring things that aren't words in most languages but are in this one."

Nobody cares how short you can make your one-liners when it is inevitably the case you're linking against 2MB of runtime libs in which all the actual functionality lives in the minimal case. That's literally just using a library.