@hackage / ggtsTC

A type checker and runtime system of rCOS/g (impl. of ggts-FCS).