A functional language based purely on category theory by Cockett, Spencer and Fukushima, 1990-1991.
A version for Sun4 is available from Tom Fukushima <fukushim@cpsc.ucalgary.ca>.
["About Charity", J.R.B. Cockett <cockett@cpcs.ucalgary.ca> et al].
(29 Nov 1994)