< language > A functional language based purely on category theory by Cockett, Spencer, and Fukushima, 1990-1991.
A version for Sun-4 is available from Tom Fukushima fukushim@ucalgary.ca .
["About Charity", J.R.B. Cockett, U. Calgary, Canada, et al].
(2000-10-30)