Verily I say unto thee, that Roy Schestowitz spake thusly:
> Bug free software to come from EU open source Type Theory project
Haven't they heard of ML? It's a self-proving language that's been
around for three decades.
http://en.wikipedia.org/wiki/ML_programming_language
--
K.
http://slated.org
.----
| "The idea that Bill Gates has appeared like a knight in shining
| armour to lead all customers out of a mire of technological chaos
| neatly ignores the fact that it was he who, by peddling second-rate
| technology, led them into it in the first place." ~ Douglas Adams
`----
Fedora release 8 (Werewolf) on sky, running kernel 2.6.23.8-63.fc8
18:56:42 up 209 days, 15:32, 4 users, load average: 0.97, 0.57, 0.40
|
|
