WebHome
- UHC
- EHC
- Documentation
- Features & Status
- EH examples
- Feedback
- News
- FAQ

Related
- Ruler
- Shuffle
- uulib & uuagc

Old Stuff
- Previous WebHome
- AFP2004

Center
Master Program

Center

Page

Web

Wiki

Log In or Register

Ruler

Ehc

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