abby / blag
HTML 0 0

my blog lives here now

Updated 4 months ago

abby / CCHM
Haskell 0 0

Prototype, extremely bad code implementation of CCHM Cubical Type Theory

Updated 4 months ago

Updated 3 months ago

abby / setoid
Haskell 0 0

a type theory with equality based on setoids

Updated 2 months ago

abby / cubical
Haskell 0 0

less prototype, less bad code implementation of CCHM type theory

Updated 1 week ago