Cambridge, United Kingdom

Dima Szamozvancev

Expert
@DimaSamoz
www.cl.cam.ac.uk/~ds709/

mezzo. A Haskell library for typesafe music composition

369

agda-soas. Agda formalisation of second-order abstract syntax

55

temporal-type-systems. Formalisation of a temporal type system in Agda

5

mastermind. A simple Haskell implementation of the Mastermind game

2

thodo. A simple command-line to-do list tool

2
5
Apply