Charity - Programming language

Charity is a programming language created in 1992.

#726on PLDB

32Years Old

11Repos

Charity is an experimental purely functional programming language, developed at the University of Calgary under the supervision of Robin Cockett. Based on ideas by Hagino Tatsuya, it is completely grounded in category theory. Disregarding interactions with the outside world, all Charity programs are guaranteed to terminate or stay productive. Read more on Wikipedia...

Charity website
Charity Wikipedia page
There are at least 11 Charity repos on GitHub
Charity first developed in University of Calgary
The Google BigQuery Public Dataset GitHub snapshot shows 7 users using Charity in 10 repos on GitHub
Charity on HOPL
See also: (2 related languages)Linux, ML

Example from the web:

%
%   Some very badly written Charity
%

data LA(A) -> D = ss: A -> D
                | ff: -> D.

Language features

Feature	Supported	Token	Example
Comments	✓		% A comment
Line Comments	✓	%	% A comment
Semantic Indentation	X