Hacker GitHub

← All repos

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

Mentions per year 5 mentions · busiest year 2018 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …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
  2. ▲ 2
    Theorem Prover Museum: The Original Edinburgh LCF
    story by nxobject · 2024-08-04 · 1 comment
  3. …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]
  4. …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]
  5. 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