Oh god why

Latest notes

• Jun 12, 2020Parametricity for described datatypes
• Apr 13, 2020A first entry