Popular repositories Loading

1. servant-minimal servant-minimal Public

   Minimal servant application for demostrating servant examples.

2. ttfpi-hs ttfpi-hs Public

   "Type Theory and Formal Proof: An Introduction" book practices

   Haskell

3. journal-monad journal-monad Public

   Structured log journaling in haskell

   Nix

4. sf sf Public

   Software foundations study

   Rocq Prover