fixpt

fixpt.de

Personal blog of Sebastian Graf featuring articles on programming languages, type theory, and functional programming.

why we picked it

The blog's current post examines the Curry-Howard correspondence, contrasting how the Prop sort is handled in Agda, Haskell, and Lean.

Checked with Google Web Risk · 2 hours ago

Visit fixpt.de ↗ ♡ Save ↻ Surf somewhere else