Pinned

1. tiger Public

   🚧 A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.

   OCaml 19 5

2. haskbot Public

   🚧 Haskell interpreter telegram bot. WIP.

   Haskell 9 1

3. coq-fv Public

   🚧 My notes and solutions to Coq course by Anton Trunov (source: https://github.com/anton-trunov/coq-lecture-notes) in 2019. WIP.

   Coq 2

4. math-comp-notes Public

   🚧 Repo to keep track of my notes and solutions to the Mathematical components book.

   Coq 1

5. sf-ssreflect Public

   🚧 Working through the SF using ssreflect

   Coq 1

6. ormolu.el Public

   A formatter for Haskell source code

   Emacs Lisp 32 9