SoftwareSome software that I have worked on:- Agda,
a dependently typed functional programming language.
- Agda's
standard library.
- Various Agda libraries or projects:
equality [git],
delay-monad [git],
partiality-monad [git],
definitional-interpreters [git],
up-to [git],
chi [git],
dependent-lenses [git],
parser-combinators [git],
pretty [git],
codata [git],
dependently-typed-syntax [git].
- Chasing Bottoms,
a Haskell library for testing code involving partial and infinite values.
Software accompanying papers is available via the
publications page.
Nils Anders Danielsson Last updated Thu Apr 16 12:23:49 UTC 2020. |