aliquot

< a quantity that can be divided into another a whole number of time />

January 13, 2020

Collections of papers and books about Haskell, Type Theory and Category Theory. #haskell