gsdlab / clafer

Clafer is a lightweight modeling language
http://clafer.org
MIT License
45 stars 13 forks source link

Installation procedure #1

Closed lpassos closed 13 years ago

lpassos commented 13 years ago

The README file, inside the src folder, states the following dependencies for compiling Clafer source code:

Two comments:

kbak commented 13 years ago

Installation instructions came from GHC website. Updated the README file.