Software

Some software which I have worked on:

Agda, a dependently typed functional programming language.
Agda's standard library.
A parser combinator library for Agda (darcs repository).
Chasing Bottoms, a Haskell library for testing code involving partial and infinite values.

Software accompanying papers is available via the publications page. In case you are interested you can also find some software repositories and listings.

Nils Anders Danielsson
Standard disclaimer
Last updated Thu Mar 31 19:00:33 CEST 2011.