Chris Allen
|
ae1930654e
|
formatting
|
10 years ago |
Chris Allen
|
5853eb4a39
|
formatting
|
10 years ago |
Chris Allen
|
17cffd6ec6
|
formatting
|
10 years ago |
Chris Allen
|
8e0171e90d
|
formatting
|
10 years ago |
Chris Allen
|
9c533dcaf8
|
formatting
|
10 years ago |
Chris Allen
|
67ba6e5159
|
formatting
|
10 years ago |
Chris Allen
|
573ec5e373
|
formatting
|
10 years ago |
Chris Allen
|
527c50e07e
|
new dialogue
|
10 years ago |
Chris Allen
|
b0a81ffd98
|
wording
|
10 years ago |
Chris Allen
|
266812399b
|
distributive
|
10 years ago |
Chris Allen
|
4229597be8
|
Transducers
|
10 years ago |
Chris Allen
|
478e4bc5e9
|
Added types for Functor Reader discussion
|
10 years ago |
AJ Coppa
|
68f925fd1d
|
Added discussion of Functor instance for Reader
Fixed a typo
|
10 years ago |
Chris Allen
|
9578286c99
|
Update dialogues.md
|
10 years ago |
Chris Allen
|
1e534f2fa8
|
Inverse of a bijective function programmatically
|
10 years ago |
Chris Allen
|
3044bb2b85
|
Reversing a list operation
|
10 years ago |
Chris Allen
|
77d4cea6d5
|
Join for Reader
|
10 years ago |
Chris Allen
|
bed7387341
|
formatting
|
10 years ago |
Chris Allen
|
cf10cb8f19
|
State monad <-> fold
|
10 years ago |
Chris Allen
|
0dd9337f3c
|
Laziness, strictness, defaults
|
10 years ago |
Chris Allen
|
fc021b8010
|
Added Guy Steele talk
|
10 years ago |
Chris Allen
|
cd71ecfdf8
|
Added magma, free monoid, parallelism discussion
|
10 years ago |
Chris Allen
|
178e62dd3a
|
spelling error, thanks @mwotton
|
10 years ago |
Chris Allen
|
d7f971d26d
|
Added epic tel/gclaramunt thread
|
10 years ago |
Chris Allen
|
e2e49f8406
|
added RankNTypes example
|
10 years ago |
Chris Allen
|
6379a32d11
|
applicative and liftA2
|
10 years ago |
Chris Allen
|
8a78398414
|
function types and inhabitants
|
10 years ago |
Chris Allen
|
76f4162ac2
|
rank 2 types and type inference
|
10 years ago |
Chris Allen
|
fd441116d0
|
listen in Writer
|
10 years ago |
Chris Allen
|
1e2dd34a48
|
more formatting
|
10 years ago |
Chris Allen
|
e1bf3ef918
|
testing formatting
|
10 years ago |
Chris Allen
|
2c6d1cd247
|
buhhh words
|
10 years ago |
Chris Allen
|
f6064d888f
|
added mailing list thread
|
10 years ago |
Chris Allen
|
06377fb48f
|
bloody typo
|
10 years ago |
Chris Allen
|
8648cbcaf0
|
adjunctions?
|
10 years ago |
Chris Allen
|
c076fb5f95
|
moar initial/final
|
10 years ago |
Chris Allen
|
a23c312042
|
added code
|
10 years ago |
Chris Allen
|
441ca47c3f
|
more dialogues
|
10 years ago |
Chris Allen
|
c7830922f2
|
I wanted to start recording the excellent conversations that happen in the IRC channel for future learners' sakes.
|
10 years ago |