Popular repositories Loading

1. Agda-reflection-for-semiring-solver Agda-reflection-for-semiring-solver Public

   A simple demonstration of the Agda Reflection API

   11 1

2. Agda-Representing-Monads Agda-Representing-Monads Public

   A formalization of some notions from the paper "Representing Monads" by Andrzej Filinski

   8

3. Agda-small-developments-and-examples Agda-small-developments-and-examples Public

   A collection of mostly unrelated Agda programs which I found interesting in some way.

   Coq 7 1

4. agda-DTP-examples agda-DTP-examples Public

   Haskell 7 1

5. Agda-mode-improvements Agda-mode-improvements Public

   Some simple tools for agda-mode to make programming in Agda even more enjoyable.

   Emacs Lisp 5

6. Combinatory-logic Combinatory-logic Public

   A program for generating combinators with certain properties. Inspired by "To mock a mockingbird" by Raymon Smullyan.

   Common Lisp 4