📁 SETL
A growing family of languages based on Set Theory and related notation and principles. Used mostly in mathematics by mathematicians, and in education to teach Mathematics.
entries (2)
Program Development by Stepwise Refinement
http://portal.acm.org/citation.cfm?doid=362575.362577