Mon, 17 May 2010 12:00:54 +0100 | Christian Urban | somewhat simplified the main parsing function; failed to move a Note-statement to define_raw_perms | changeset | files |
Sun, 16 May 2010 12:41:27 +0100 | Christian Urban | moved the exporting part into the parser (this is still a hack); re-added CoreHaskell again to the examples - there seems to be a problem with the variable name pat | changeset | files |
Sun, 16 May 2010 11:00:44 +0100 | Christian Urban | tuned paper | changeset | files |
Sat, 15 May 2010 22:06:06 +0100 | Christian Urban | tuned paper | changeset | files |
Fri, 14 May 2010 21:18:34 +0100 | Christian Urban | tuned a bit the paper | changeset | files |
Fri, 14 May 2010 18:12:07 +0100 | Christian Urban | started a new file for the parser to make some experiments | changeset | files |