Hacker News new | ask | show | jobs
by keskadale 1567 days ago
yeah it is a hard read. a relatively easier read is PLFA in Agda.