Lancern's Treasure Chest
17:22 · Apr 25, 2023 · Tue
Every type is defined by its intro and elim forms
Comments
via jez@users.lobste.rs (jez)
blog.jez.io
Every type is defined by its intro and elim forms – Jake Zimmerman
I took a course about programming languages in college. It was a very theory-oriented course, but as it turned out I learned more about how to write software from this theory course than many of my peers who took our school's software engineering elective.
Home
Powered by
BroadcastChannel
&
Sepia