From dd01e956d2a3d05597113a7c454ac4cb09e3ec19 Mon Sep 17 00:00:00 2001
From: tslil clingman <>
Date: Tue, 18 Sep 2018 23:59:12 -0400
Subject: A proof that univalence implies function extensionality

---
 .gitignore | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 .gitignore

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..138884c
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,9 @@
+*.agdai*.aux
+*.log
+*.toc
+*.out
+*.aux
+*.agdai
+*.synctex.gz
+.#*
+auto/*
-- 
cgit v1.2.3