Charity - Programming language

Charity is a programming language created in 1992.

#1133on 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...

Tags: programming language
There are at least 11 Charity repos on GitHub
Early development of Charity happened 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	Example	Token
Comments	✓	% A comment
Line Comments	✓	% A comment	%
Semantic Indentation	X