annotate paste/paste.937 @ 8486:3263626338f2
<shachaf> le/rn modal logic/"modal logic" means "the most common logic" (that is, classical logic).
author |
HackBot |
date |
Thu, 16 Jun 2016 04:56:50 +0000 |
parents |
e314d3f7858d |
children |
|
rev |
line source |
691
|
1 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)
|
|
2 2011-10-26.txt:00:23:55: <evincar> Pointfree just feels nicer, but in applicative languages it's less readable.
|
|
3 2011-12-13.txt:23:50:27: <oerjan> kallisti: a free applicative defined with a GADT, for example
|
|
4 2011-12-14.txt:00:12:39: <oerjan> also i rethought my definition of a free applicative
|
|
5 2012-09-10.txt:00:02:15: <oerjan> `pastelogs free.*applicative
|
|
6 2012-09-10.txt:00:05:04: <oerjan> `pastelogs free.*applicative
|