Hacker GitHub

← All repos

HigherOrderCO/Kind

View on GitHub ↗ ★ 3,764 Haskell

A modern proof language

25 mentions on Hacker News by 15 people: 10 stories, 15 comments · first 2019-09-10 · latest 2026-09-18

Mentions per year 25 mentions · busiest year 2021 (12)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 3
    Kind: A lambda-calculus based pure programming language
    story by nico401 · 2023-11-27 · 0 comments
  2. ▲ 68
    Beyond inductive datatypes: exploring Self types
    story by danny00 · 2021-10-30 · 5 comments
  3. ▲ 3
    Getters and Setters in Kind
    story by LangMakers · 2021-10-17 · 4 comments
  4. ▲ 232
    Kind: A Modern Proof Language
    story by danny00 · 2021-08-11 · 111 comments
  5. ▲ 2
    First class modules with self types
    story by LangMakers · 2021-07-29 · 0 comments
  6. ▲ 2
    Show HN: Kind, a minimal, efficient, practical proof language
    story by LightMachine · 2021-05-16 · 0 comments
  7. ▲ 2
    Goodbye, JavaScript: Formality is now implemented in itself
    story by LightMachine · 2020-12-15 · 0 comments
  8. ▲ 3
    Formality Language
    story by VictorTaelin · 2019-12-29 · 0 comments
  9. ▲ 1
    Formality
    story by chaoxu · 2019-09-23 · 0 comments
  10. ▲ 27
    Formality, a (proof)gramming language featuring optimal reductions
    story by LightMachine · 2019-09-10 · 8 comments