Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Category theory is a universal modeling language. Parent comment
Programs: http://cseweb.ucsd.edu/~rtate/publications/proofgen/proofgen..., https://blog.sumtypeofway.com/posts/introduction-to-recursio..., the Functor/Applicative/Monad hierarchy in Haskell et al
Logic: https://publish.uwo.ca/~jbell/catlogprime.pdf
CT as a bridge between programs and logic: https://existentialtype.wordpress.com/2011/03/27/the-holy-tr...
There are no comments on this comment yet.
Programs: http://cseweb.ucsd.edu/~rtate/publications/proofgen/proofgen..., https://blog.sumtypeofway.com/posts/introduction-to-recursio..., the Functor/Applicative/Monad hierarchy in Haskell et al
Logic: https://publish.uwo.ca/~jbell/catlogprime.pdf
CT as a bridge between programs and logic: https://existentialtype.wordpress.com/2011/03/27/the-holy-tr...