3 ms·
No. ML was the meta language for a theorem prover (LCF). https://en.wikipedia.org/wiki/Logic_for_Computable_Functions https://en.wikipedia.org/wiki/Logic_for_
by peterfirefly 3y ago
No. ML was the meta language for a theorem prover (LCF).
https://en.wikipedia.org/wiki/Logic_for_Computable_Functions https://en.wikipedia.org/wiki/Logic_for_Computable_Functions