Introducing the Kan Programming Language
a language that oozes Category Theory
I love Category Theory, and Functional Programming and Programming Languages. I wanted to build a programming languaage that would ooze Category Theory at the seams. A language based, from the ground up, on Kan Extensions - see en.wikipedia.org/wiki/K…
Introducing the Kan Programming Language.