William J. Bowman c7aefdb032 Removed Var "abstractions" ... Olly uses De Bruijn, but was attempting to use abstractions to allow changing that. Unfortunately, these were not really abstractions. So they're now gone.		2016-01-19 11:12:03 -05:00
..
cur	Removed Var "abstractions"	2016-01-19 11:12:03 -05:00
info.rkt	Split and reorganized package. Closes #14	2016-01-10 19:10:12 -05:00