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

Related
- Ruler
- Shuffle
- uulib & uuagc

Old Stuff
- Previous WebHome
- AFP2004

Center
Master Program

Ruler

Ehc

---++ About Ruler

Ruler is a tool for specifying type rules.
It is part of [[Ehc.WebHome][EHC]].

---++ Examples & Documentation

See [[Ehc.WebHome#ReadingAboutEHC][publications on EHC]] and [[Download][EHC's download page]].

---++ Download

See [[Download][EHC's download page]].

-- Main.AtzeDijkstra - %REVINFO{"$date"}%