You are here: UUCS>Ehc Web>WebLeftBar>Ruler (08 Jan 2015, AtzeDijkstra)EditAttach

About Ruler

Ruler is a tool for specifying type rules. Although originally developed as part of EHC it is now available as a standalone application.

Examples & Documentation

See publications on EHC and EHC's download page.

Download

Available as hackage package with sources available at ruler on github.

-- AtzeDijkstra - 08 Jan 2015
Topic revision: r6 - 08 Jan 2015, AtzeDijkstra
 

This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS? Send feedback