theoremprover-museum/LCF77
View on GitHub ↗ ★ 34 Common Lisp
The original Edinburgh LCF.
5 mentions on Hacker News by 4 people: 1 story, 4 comments · first 2016-12-16 · latest 2025-02-05
20082026
-
…for the life of me I can't find any evidence one way or another, not even in the LCF source code ( https://github.com/theoremprover-museum/LCF77 ) But yes, the slash is just an ASCII stand-in for a lambda. ETA: I tracked down a copy of the…
comment by wk_end · 2025-02-05 · in Roc rewrites the compiler in Zig -
…prover), did have a `where` clause that works like the one in Haskell. See here for example: https://github.com/theoremprover-museum/LCF77/blob/master/sr... A brief skim over the revised definition of Standard ML indicates that it was…
comment by groovy2shoes · 2018-08-10 · in The next 700 programming languages (1966) [pdf] -
…append operators), lambda expressions, ... Here is a version of LCF with that first ML from 1977: https://github.com/theoremprover-museum/LCF77
comment by lispm · 2018-08-10 · in The next 700 programming languages (1966) [pdf] -
And ML was originally written in Lisp. https://github.com/theoremprover-museum/LCF77/tree/master/sr... https://github.com/theoremprover-museum/HOL88/tree/master/sr...
comment by lispm · 2016-12-16 · in The Idea of Lisp