/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 homotopytypetheory.org
Inductive Types in HoTT | Homotopy Type Theory
| | math.andrej.com
Mathematics and Computation | The elements of an inductive type
4.6 parsecs away

Travel
| |
| | www.twanvl.nl
Type theory with indexed equality - the theory
5.7 parsecs away

Travel
| |
| | pavpanchekha.com
Equal functions in ITT
7.7 parsecs away

Travel
| |
| | mmhaskell.com
Functional Programming vs. Object Oriented Programming - Monday Morning Haskell
53.4 parsecs away

Travel
| [AI summary] This article compares Functional Programming and Object Oriented Programming paradigms, discussing their key differences, strengths, weaknesses, and how Haskell fits into the functional paradigm.