Mon, 15 Nov 2010 20:54:01 +0000 | Christian Urban | tuned example | changeset | files |
Mon, 15 Nov 2010 09:52:29 +0000 | Christian Urban | proved that bn functions return a finite set | changeset | files |
Mon, 15 Nov 2010 08:17:11 +0000 | Christian Urban | added a test for the various shallow binders | changeset | files |
Mon, 15 Nov 2010 01:10:02 +0000 | Christian Urban | fixed bug in fv function where a shallow binder binds lists of names | changeset | files |