José A. Alonso
@Jose_A_Alonso@mathstodon.xyz
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
mathstodon.xyz
José A. Alonso
@Jose_A_Alonso@mathstodon.xyz
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
mathstodon.xyz
@Jose_A_Alonso@mathstodon.xyz
·
Apr 10, 2026
Type-level programming is still programming. ~ Michael Chavinda. https://mchav.github.io/type-level-programming-is-still-programming/ #Haskell #FunctionalProgramming
4
0
0
You've seen all posts