search

gsdlab / clafer

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

Release 0.5.1 #95

Closed mantkiew closed 1 year ago

mantkiew commented 5 years ago

Upgraded to GHC 9.4.6 and LTS-21.11.