Mercurial > repo
view paste/paste.937 @ 5859:0bcc9899de90
<tswett> le/rn fundamental theorem of Taneb/The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is provable that Taneb invented the thing described by S; and, furthermore, that it is provable that there exists a string T that describes a thing that Taneb did not invent.
| author | HackBot |
|---|---|
| date | Wed, 22 Jul 2015 15:27:49 +0000 |
| parents | e314d3f7858d |
| children |
line wrap: on
line source
2011-05-26.txt:07:23:39: <oerjan> (for really compact point-free code, you want to import at least Control.Applicative, Control.Arrow and Control.Monad.Instances) 2011-10-26.txt:00:23:55: <evincar> Pointfree just feels nicer, but in applicative languages it's less readable. 2011-12-13.txt:23:50:27: <oerjan> kallisti: a free applicative defined with a GADT, for example 2011-12-14.txt:00:12:39: <oerjan> also i rethought my definition of a free applicative 2012-09-10.txt:00:02:15: <oerjan> `pastelogs free.*applicative 2012-09-10.txt:00:05:04: <oerjan> `pastelogs free.*applicative