2 ms·

I can't prove anything about programs other people will write, unless the language itself makes guarantees about the programs they can write. Culture doesn't he

I can't prove anything about programs other people will write, unless the language itself makes guarantees about the programs they can write. Culture doesn't help one iota.

willtim 9y ago
You had better stick with Agda or Coq then ;)
- catnaroek 9y ago
  Nah, Standard ML will do just fine.