41 Commits (master)

Author SHA1 Message Date
谭九鼎 548380c53c Links: use https for some urls 3 years ago
Clayton Liddell 1c05b578d3
Remove duplicate lines from dialogue.
Remove duplicate response in dialogue on transducers.
4 years ago
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