removing dead code and code that is replaced by mode-lambda

get-bonus · Apr 13, 2015 · 5055dbf · 5055dbf
1 parent d775e48
commit 5055dbf
Show file tree

Hide file tree

Showing 42 changed files with 0 additions and 5,356 deletions.
diff --git a/Makefile b/Makefile
diff --git a/Makefile.rkt b/Makefile.rkt
diff --git a/exp/Automata.v b/exp/Automata.v