Pinned

1. tiger

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

   OCaml 11 1

2. haskbot

   🚧 Haskell interpreter telegram bot. WIP.

   Haskell 8

3. coq-fv

   🚧 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

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

   Coq 1

5. sf-ssreflect

   🚧 Working through the SF using ssreflect

   Coq 1

6. plfa

   🚧 Repo to keep track of my progress working through the PLFA.

   Agda