felix is an open source programming language in the ML family.

learn more… | top users | synonyms

2
votes
3answers
312 views

Basis of definitions

Let us suppose we have a set of functions which characterise something: in the OO world methods characterising a type. In mathematics these are propositions and we have two kinds: axioms and lemmas. ...
2
votes
5answers
890 views

Correct For Loop Design

What is the correct design for a for loop? Felix currently uses if len a > 0 do for var i in 0 upto len a - 1 do println a.[i]; done done which is inclusive of the upper bound. This ...