Date Range
Date Range
Date Range
Subscribe to my blog! This blog has no articles.
Forgot Password or Username? Deviant for 6 Years. This is the place where you can personalize your profile! Favouri.
Théo Jeyrden à la plage une, Marjane Adame à la deux et Nana Osaki à la page trois, en blog secret. Subscribe to my blog! Théo Jeyrden. Issu du grec theos, qui signifie le Dieu.
Subscribe to my blog! Le seul fait que tu sois ici, est lui même inéluctable. Please enter the sequence of characters in the field below.
Forgot Password or Username? Needs to draw more.
But what is it good for? Just another blog about programming. The functor of infinite lists is representable by natural numbers. Blog post about representable functors in Haskell. The example section lacks on detailed explanation on the infinite list functor. Thus, I decided to prove that infinite lists are representable by the type of natural numbers. We begin with basic definitions of natural numbers.