Index: 

The CHARITY Home Page
Latest News
Frequently Asked Questions
License Conditions
Download The Charity System
Example Programs
The Charity Literature
Registration
Contacting The Charity Development Group
Background Information

Example Programs

The Standard Prelude

• PRELUDE.ch
• contains:
  • exp.ch
  • coprod.ch
  • SF.ch
  • bool.ch
  • nat.ch
  • list.ch
  • string.ch

Some Inductive Datatypes

• bTree.ch

Some Coinductive Datatypes

• triple.ch
• conat.ch
• colist.ch
• cobTree.ch

Some Infinite Datatypes

• infnat.ch
• inflist.ch
• infbTree.ch

Some Lazy Datatypes

• Lid.ch
• Lprod.ch
• Lnat.ch
• Llist.ch

Some Higher-Order Datatypes

• exp.ch (in the prelude)
• proc.ch
• stack.ch
• queue.ch

Miscellaneous

• test.ch
• short.ch
• hanoi.ch
• sorting.ch
• initial_final.ch