commit 1c5be763fe0f5a195461064299561666af075799 Author: zansgroup Date: Tue Oct 5 08:23:39 2021 +0200 Initial commit diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..f8797e1 --- /dev/null +++ b/.gitignore @@ -0,0 +1,8 @@ +# ---> Agda +*.agdai +MAlonzo/** + +# ---> AppEngine +# Google App Engine generated folder +appengine-generated/ + diff --git a/README.md b/README.md new file mode 100644 index 0000000..245ed42 --- /dev/null +++ b/README.md @@ -0,0 +1,2 @@ +# ZansGroup +