Wouter Swierstra

Brainfuck. A Brainfuck interpreter written in Agda

xmonad. xmonad in Coq

predicate-transformers. Agda

Bird. Formalization of Richard Bird's Pearls of Functional Algorithm Design

hbral. Hetergeneous binary random-access lists

agda2hs-cabal. Example project showing how to integrate agda2hs as preprocessor using Cabal

logic-notes. Lecture notes for the course on 'Logic for Computer Science' taught at Utrecht University.

Data.Stream. Coprogramming with infinite lists

ants. AFP 2017 Ants exercise

formal-methods-nl. A research agenda for formal methods in the Netherlands -- abstracts of our Lorentz Center meeting

concepts-slide-template. TeX

barron-strachey. On the Correctness of Barron and Strachey’s Cartesian Product Function

fp-dag.