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
|
bd3ac037ce
|
final encodings
|
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 |
Chris Allen
|
e1e1ec5b0d
|
Merge pull request #13 from davidfetter/patch-1
Update README.md to add Fedora 20 installation guide.
|
10 years ago |
David Fetter
|
e7b6a6f7ac
|
Update README.md
Fedora 20
|
10 years ago |
Chris Allen
|
b8b8876764
|
Added monad transformers material.
|
10 years ago |
Ajjai Chandra
|
812c7ea611
|
minor corrections
|
10 years ago |
Ajjai Chandra
|
2b3590637f
|
consolidated the instructions for ubuntu
|
10 years ago |
Ajjai Chandra
|
8ba5bec6ea
|
different instructions for different versions of ubuntu
|
10 years ago |
Chris Allen
|
517391bd03
|
Laziness
|
10 years ago |
Chris Allen
|
783415e1f8
|
Merge pull request #11 from raptros/master
moving sections around to try to group courses and reference material
|
10 years ago |
aidan coyne
|
be6672e018
|
moving sections around to try to group courses and reference material
|
10 years ago |
Chris Allen
|
45bd0818d6
|
Merge pull request #10 from kusut/patch-1
Update debian installation
|
10 years ago |
kusut
|
38a53dff86
|
Update README.md
|
10 years ago |
kusut
|
699f882b0c
|
Update debian installation
new deb repo + manual compilation info
|
10 years ago |
Chris Allen
|
929807bad2
|
Beginners, when to use LYAH, RWH, production note.
|
10 years ago |
Chris Allen
|
96fa936467
|
Emphasis
|
10 years ago |
Chris Allen
|
2e925b4bc6
|
Mention community
|
10 years ago |
Chris Allen
|
40df3af8e5
|
Sigh, added a monad section.
|
10 years ago |
Chris Allen
|
0b2bf5ab3c
|
Propositions vs. Judgements
|
10 years ago |
Chris Allen
|
aea6fe43b3
|
Added Biscardi's guide.
|
10 years ago |
Chris Allen
|
353b924a36
|
Merge pull request #7 from danbst/patch-2
Update README.md
|
10 years ago |
Данило Глинський (Danylo Hlynskyi)
|
cd2a70ba48
|
Update README.md
Added typeclass buzzwords
|
10 years ago |
Chris Allen
|
7ba3a70e9e
|
sigh
|
10 years ago |
Chris Allen
|
2d356d8bdb
|
catsters guide
|
10 years ago |
Chris Allen
|
1b113c336a
|
Merge pull request #5 from hyPiRion/patch-1
Add in Debian installation steps.
|
10 years ago |
Jean Niklas L'orange
|
8e800d9f0f
|
Add in Debian installation steps.
|
10 years ago |
Chris Allen
|
a997c0ec16
|
add'l laziness material
|
10 years ago |
Chris Allen
|
3dce24b451
|
additional parametricity stuff
|
10 years ago |
Chris Allen
|
4c64dbd72b
|
Forked local Hoogle instructions and added to guide
|
10 years ago |
Chris Allen
|
6c3745e54e
|
added simple guide to Cabal
|
10 years ago |
Chris Allen
|
7301c93803
|
Error messages monad reader added
|
10 years ago |
Chris Allen
|
93369cb771
|
Added example Emacs setups.
|
10 years ago |
Chris Allen
|
858cbaccab
|
Updated laziness material
|
10 years ago |
Chris Allen
|
c1f7c7dd3a
|
Explain why not platform.
|
10 years ago |
Chris Allen
|
14a0c84cbf
|
went ahead and explained Haskell, GHC, and Cabal.
|
10 years ago |
Chris Allen
|
8bc2e1892f
|
Showed pattern matching
|
10 years ago |
Chris Allen
|
136f8b3873
|
laziness, guarded recursion, strictness
|
10 years ago |
Chris Allen
|
6993c48140
|
initial/final, DSLs, finally tagless
|
10 years ago |
Chris Allen
|
4ab5573f34
|
double update
|
10 years ago |
Chris Allen
|
e62e3f67e7
|
monads & comonads
|
10 years ago |
Chris Allen
|
89d7ffc753
|
few new categories.
|
10 years ago |
Chris Allen
|
9756aa35c9
|
Added Kmett's recommendations for category theory
|
10 years ago |
Chris Allen
|
8051eabba1
|
Formatting
|
10 years ago |
Chris Allen
|
de29ce362d
|
Added @sdiehl 's very good monad posts.
|
10 years ago |
Chris Allen
|
8b9326d221
|
Added multithreaded inc dev testing example
|
11 years ago |