]> Git — Sourcephile - haskell/logic.git/blob - .envrc
sourcephile / git / haskell / logic.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
init
[haskell/logic.git] / .envrc
1 use flake
Haskell library to formulate and prove logical propositions