Dima Szamozvancev

https://www.cl.cam.ac.uk/~ds709/ [email protected]

Cambridge, United Kingdom PhD student at the Department of Computer Science of the University of Cambridge.

Results 2 repositories owned by


                                            Dima Szamozvancev

mezzo

351

Stars

12

Forks

Watchers

A Haskell library for typesafe music composition

dependent-types

haskell-library

agda-soas

47

Stars

4

Forks

Watchers

Agda formalisation of second-order abstract syntax