- Idris and Category Theory https://blog.statebox.org/fun-with-categories-70c64649b8e0 3 comments idris
Linked pages
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Types and Functions — Idris 1.3.3 documentation http://docs.idris-lang.org/en/latest/tutorial/typesfuns.html 26 comments
- Medium https://medium.com/m/signin?isDraft=1&operation=login&redirect=https%3A%2F%2Fmedium.com%2F%40jamie_34747%2F79d382edf22b%3Fsource%3D 19 comments
- Dependent type - Wikipedia https://en.wikipedia.org/wiki/Dependent_type 15 comments
- Petri net - Wikipedia https://en.wikipedia.org/wiki/Petri_net 5 comments
- John Baez's Stuff http://math.ucr.edu/home/baez/ 5 comments
- Statebox http://statebox.org/ 0 comments
Related searches:
Search whole site: site:blog.statebox.org
Search title: Fun with Categories. In the past years there’s been a lot of… | by Marco Perone | Statebox
See how to search.