feat: initial commit

This commit is contained in:
2023-10-11 21:51:24 +02:00
commit 8709837ef1
128 changed files with 2464 additions and 0 deletions

3
.ghci Executable file
View File

@@ -0,0 +1,3 @@
:set prompt "λ> "
:set -XOverloadedStrings
:set editor vim