If I recall correctly, ML first appeared as part of the Edinburgh LCF theorem pr...

		kachnuv_ocasek on Nov 20, 2019 \| parent \| context \| favorite \| on: An interview with Barbara Liskov If I recall correctly, ML first appeared as part of the Edinburgh LCF theorem prover in 1979 and it did not have modules at that time.