krasimir 09ce38742c fix PGF.Generate.restart. The restart should be done only if there are some solutions found

2010-10-13 12:38:51 +00:00

..

Data

reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

2009-12-13 18:50:29 +00:00

PGF

fix PGF.Generate.restart. The restart should be done only if there are some solutions found

2010-10-13 12:38:51 +00:00

PGF.hs

refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax

2010-10-02 13:03:57 +00:00