3 ms·

I think it's a joke. Haskell is manifestly not suitable for writing a Mars lander. A verified DSL written in Haskell on the other hand ... http://ivorylang.o

by tome 10y ago

I think it's a joke. Haskell is manifestly not suitable for writing a Mars lander. A verified DSL written in Haskell on the other hand ... http://ivorylang.org/ivory-introduction.html http://ivorylang.org/ivory-introduction.html