Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Charity is a functional programming language that supports equational reasoning through total and partial functions. The language encourages the use of pattern matching, dependent types, and type inference for proving properties about programs at compile time. Charity can be used for teaching purposes in order to build strong theoretical understanding of computational processes by expressing mathematical concepts directly as executable code.