Commit Graph

33 Commits

Author SHA1 Message Date
Chris Allen
573ec5e373 formatting 2015-01-11 11:40:00 -06:00
Chris Allen
527c50e07e new dialogue 2015-01-11 11:39:38 -06:00
Chris Allen
b0a81ffd98 wording 2015-01-06 21:52:56 -06:00
Chris Allen
266812399b distributive 2015-01-06 21:47:59 -06:00
Chris Allen
4229597be8 Transducers 2014-09-19 17:16:07 -05:00
Chris Allen
478e4bc5e9 Added types for Functor Reader discussion 2014-08-18 18:49:52 -05:00
AJ Coppa
68f925fd1d Added discussion of Functor instance for Reader
Fixed a typo
2014-08-18 19:21:25 -04:00
Chris Allen
9578286c99 Update dialogues.md 2014-08-18 15:31:09 -05:00
Chris Allen
1e534f2fa8 Inverse of a bijective function programmatically 2014-08-15 15:51:50 -05:00
Chris Allen
3044bb2b85 Reversing a list operation 2014-08-15 15:49:28 -05:00
Chris Allen
77d4cea6d5 Join for Reader 2014-08-15 14:34:02 -05:00
Chris Allen
bed7387341 formatting 2014-08-13 13:45:36 -05:00
Chris Allen
cf10cb8f19 State monad <-> fold 2014-08-13 13:45:15 -05:00
Chris Allen
0dd9337f3c Laziness, strictness, defaults 2014-08-05 18:37:53 -05:00
Chris Allen
fc021b8010 Added Guy Steele talk 2014-08-05 16:56:35 -05:00
Chris Allen
cd71ecfdf8 Added magma, free monoid, parallelism discussion 2014-08-05 16:41:55 -05:00
Chris Allen
178e62dd3a spelling error, thanks @mwotton 2014-07-28 23:14:11 -05:00
Chris Allen
d7f971d26d Added epic tel/gclaramunt thread 2014-07-28 23:01:52 -05:00
Chris Allen
e2e49f8406 added RankNTypes example 2014-07-27 18:39:34 -05:00
Chris Allen
6379a32d11 applicative and liftA2 2014-07-25 23:14:11 -05:00
Chris Allen
8a78398414 function types and inhabitants 2014-07-21 09:14:27 -05:00
Chris Allen
76f4162ac2 rank 2 types and type inference 2014-07-20 20:19:55 -05:00
Chris Allen
fd441116d0 listen in Writer 2014-07-20 20:02:39 -05:00
Chris Allen
1e2dd34a48 more formatting 2014-07-20 19:58:56 -05:00
Chris Allen
e1bf3ef918 testing formatting 2014-07-20 19:55:56 -05:00
Chris Allen
2c6d1cd247 buhhh words 2014-07-20 19:53:38 -05:00
Chris Allen
f6064d888f added mailing list thread 2014-07-20 19:52:28 -05:00
Chris Allen
06377fb48f bloody typo 2014-07-20 01:03:03 -05:00
Chris Allen
8648cbcaf0 adjunctions? 2014-07-20 00:52:43 -05:00
Chris Allen
c076fb5f95 moar initial/final 2014-07-20 00:50:37 -05:00
Chris Allen
a23c312042 added code 2014-07-20 00:19:40 -05:00
Chris Allen
441ca47c3f more dialogues 2014-07-20 00:18:51 -05:00
Chris Allen
c7830922f2 I wanted to start recording the excellent conversations that happen in the IRC channel for future learners' sakes. 2014-07-19 23:46:57 -05:00