abstools / habs-parser

The parser, part of the Haskell backend for ABS (habs)

Home Page:http://abs-models.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

The parser, part of the Haskell backend for ABS (habs)

http://abs-models.org

License:BSD 3-Clause "New" or "Revised" License


Languages

Language:Haskell 99.7%Language:Makefile 0.3%