Explore projects

A Haskell program that simulates Kempe's universal linkages, drawing any algebraic curve in the plane.

Agda model of our generic diff algorithm.

Haskell game for the course Functional Programming