Skip to main content

Questions tagged [felix]

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

Filter by
Sorted by
Tagged with
2 votes
3 answers

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. ...
Yttrill's user avatar
  • 727
1 vote
5 answers

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 ...
Yttrill's user avatar
  • 727