You are here: UUCS>Ehc Web>WebLeftBar>Ruler (06 Nov 2008, AtzeDijkstra)EditAttach

About Ruler

Ruler is a tool for specifying type rules. It is part of EHC.

Examples & Documentation

See publications on EHC and EHC's download page.

Download

See EHC's download page.

-- AtzeDijkstra - 06 Nov 2008
Topic revision: r5 - 06 Nov 2008, 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