4 ms·yeah it is a hard read. a relatively easier read is PLFA in Agda.by keskadale 5y agoyeah it is a hard read. a relatively easier read is PLFA in Agda.