nad

Pinned Repositories

chi
Language:Agda2 2 10
codata
Language:Agda1 1 00
definitional-interpreters
Language:Agda1 2 00
delay-monad
Language:Agda1 1 00
dependent-lenses
Language:Agda8 2 01
dependently-typed-syntax
Language:Agda5 2 00
equality
Language:Agda9 2 11
parser-combinators
Language:Agda8 1 02
partiality-monad
Language:Agda5 1 01
pretty
Language:Agda1 1 00

nad's Repositories

nad/equality
Language:Agda9 2 11
nad/dependent-lenses
Language:Agda8 2 01
nad/parser-combinators
Language:Agda8 1 02
nad/dependently-typed-syntax
Language:Agda5 2 00
nad/partiality-monad
Language:Agda5 1 01
nad/chi
Language:Agda2 2 10
nad/codata
Language:Agda1 1 00
nad/definitional-interpreters
Language:Agda1 2 00
nad/delay-monad
Language:Agda1 1 00
nad/pretty
Language:Agda1 1 00
nad/agda-vm-sample
Language:Shell0 0 00
nad/cubicaltt
Language:Haskell0 1 00
nad/edison
Edison: A Library of Efficient Data Structures
Language:Haskell0 0
nad/logrel-mltt
A Logical Relation for Martin-Löf Type Theory in Agda
Language:Agda
nad/up-to
Language:Agda1 0