70 followers
:thinking: https://t.co/RND232LNss
:thinking: https://t.co/RND232LNss
RT @Iceland_jack: Initial algebra semantics is enough! "Initial algebra semantics is a cornerstone of the theory of modern functional prog…
Initial algebra semantics is enough! "Initial algebra semantics is a cornerstone of the theory of modern functional programming languages." #HaskellPDF (https://t.co/IRxUatp6ux) featuring Kan extensions, if u want I kan explain them (enough to at least
Intial algebra semantics is enough! https://t.co/oMq9BsM7IX #miteru