Hacker GitHub

← All repos

advancedresearch/path_semantics

View on GitHub ↗ ★ 185 Rust

A research project in path semantics, a re-interpretation of functions for expressing mathematics

4 mentions on Hacker News by 4 people: 2 stories, 2 comments · first 2020-05-17 · latest 2023-11-02

Mentions per year 4 mentions · busiest year 2020 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 1
    Answered Modal Logic CatuṣkoṭI [pdf]
    story by pyinstallwoes · 2021-03-31 · 0 comments
  2. ▲ 2
    Path Semantics
    story by alex_hirner · 2020-11-15 · 0 comments