Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
An Agda formalisation of the theory of directed containers
Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories
An Agda formalisation accompanying the examples given in Section 7 of the paper "Handling fibred algebraic effects".
A simple example of monadic parsing (in the dependently typed setting) discussed in Appendix A of my PhD thesis "Fibred Computational Effects".