Remove a bunch of files

JoeyEremondi · Aug 20, 2016 · 64a1b4c · 64a1b4c
1 parent 873c0e8
commit 64a1b4c
Show file tree

Hide file tree

Showing 15 changed files with 0 additions and 15,678 deletions.
diff --git a/BadRefl.idr b/BadRefl.idr
diff --git a/badSubNames.txt b/badSubNames.txt
diff --git a/chinterJunk.txt b/chinterJunk.txt
diff --git a/elimTypes.txt b/elimTypes.txt