4 ms·

I do not particularly care about having a pretty syntax, what I want is the high assurance that the program will not be wrong.

• cgag 13y ago
  Have you tried using haste or fay? (I haven't, just curious)