Hacker GitHub

← All repos

HigherOrderCO-archive/FormCoreJS

View on GitHub ↗ ★ 73 JavaScript

A minimal pure functional language based on self dependent types.

4 mentions on Hacker News by 4 people: 2 stories, 2 comments · first 2021-01-10 · latest 2022-11-19

Mentions per year 4 mentions · busiest year 2022 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 1
    FormCoreJS
    story by tosh · 2022-11-19 · 0 comments
  2. >The core implementation is under 700 lines of JS, including the parser: https://github.com/moonad/FormCoreJS/blob/master/FormCore.js Unfortunately, the source code size isn't the main problem with provers. The UX is much more important…
    comment by solomatov · 2022-09-15 · in The Little Prover
  3. Another very small proof system: https://github.com/moonad/formcorejs The core implementation is under 700 lines of JS, including the parser: https://github.com/moonad/FormCoreJS/blob/master/FormCore.js The author has since moved on to…
    comment by smaddox · 2022-09-14 · in The Little Prover
  4. ▲ 2
    FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScript
    story by LightMachine · 2021-01-10 · 0 comments