Initial commit

.gitignore

@@ -0,0 +1,12 @@
+# ---> Agda
+*.agdai
+MAlonzo/**
+
+# ---> Nix
+# Ignore build outputs from performing a nix-build or `nix build` command
+result
+result-*
+
+# Ignore automatically generated direnv output
+.direnv
+