Hacker News new | ask | show | jobs
by peterfirefly 1105 days ago
No. ML was the meta language for a theorem prover (LCF).

https://en.wikipedia.org/wiki/Logic_for_Computable_Functions