ArchiveType Class Morphisms in Agda01/15/2019 | tagged: #agda·#haskellSample Post12/29/2018 | tagged: #pinned·#web·#racket·#meta