/ruler-proto

A rather old prototype of the ruler system, some old examples from uhc still depend on it

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

ruler-proto

A rather old prototype of the ruler system, some old examples from uhc still depend on it