The ggtsTC package

[Tags:gpl, program]

A type checker and runtime system of rCOS/g following the definitions in the ggts-FCS article.

Programmed by: Wei Ke

(c) 2012 Wei Ke

License: GPL-3

License file: LICENSE

Source package download: ggtsTC-0.5.tar.gz

rCOS/g grammar: grammar


Versions 0.5
Dependencies base (>=4 && <6), containers (>=0.5.0), parsec (>=3.1.3) [details]
License GPL-3
Copyright (c) 2012 Wei Ke
Author Wei Ke
Stability Unknown
Category System
Home page
Uploaded Wed Jan 29 07:14:31 UTC 2014 by brianchon
Distributions NixOS:0.5
Downloads 350 total (8 in the last 30 days)
0 []
Status Docs not available [build log]
Last success reported on 2015-05-19 [all 6 reports]


Maintainer's Corner

For package maintainers and hackage trustees