Initial commit

dfirsov · web-flow · commit e7f015c59dd7 · 2022-08-12T12:58:36.000+03:00
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,2 @@
+*.agdai
+MAlonzo/**
diff --git a/README.md b/README.md
@@ -0,0 +1,2 @@
+# agda-programming-with-finite-sets
+Dependently Typed Programming with Finite Sets

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+# agda-programming-with-finite-sets`
	`2`	`+Dependently Typed Programming with Finite Sets`