- Making the World Right with Types https://medium.com/hello-thirteen23/making-the-world-right-with-types-9ecf312958c7 6 comments dotnet
Linked pages
- Intuitionism - Wikipedia https://en.wikipedia.org/wiki/Intuitionism 178 comments
- F# Software Foundation http://fsharp.org 33 comments
- Monoid - Wikipedia http://en.wikipedia.org/wiki/Monoid 20 comments
- Algebraic data type - Wikipedia https://en.wikipedia.org/wiki/Algebraic_data_type 8 comments
- Pure function - Wikipedia https://en.wikipedia.org/wiki/Pure_function 2 comments
- Type-Driven Development with Idris https://www.manning.com/books/type-driven-development-with-idris 1 comment
Related searches:
Search whole site: site:medium.com
Search title: Making the World Right with Types | by Anthony Shull | The Garage | Medium
See how to search.