Explore >> Select a destination
|
You are here 
|
bartoszmilewski.com | ||
| | | | |
degoes.net
|
|
| | | | | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts | |
| | | | |
cronokirby.com
|
|
| | | | | Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/ | |
| | | | |
homotopytypetheory.org
|
|
| | | | | Thierry Coquand and I have proved that, for a large class of algebraic structures, isomorphism implies equality (assuming univalence). A class of algebraic structures Structures in this class consist of a type, some operations on this type, and propositional axioms that can refer to operations and other axioms. N-ary functions are defined in the following... | |
| | | | |
math.andrej.com
|
|
| | | |||
