Hegel's Logic in Cubical AgdaBy hackandthink · 2026-09-12 · 1 points · 0 commentshttps://ddebruce.github.io/hegel-agda/index.htmlBy hackandthink · 1 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews