| http://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/ |
burrito |
|
lambdabot |
| http://community.schemewiki.org/?composable-continuations-tutorial |
composable-continuations |
|
lambdabot |
| http://ertes.eu/tutorial/foldr.html |
foldrtut |
|
lambdabot |
| http://haskell.org/haskellwiki/Tutorials |
tutorials |
|
lambdabot |
| http://logitext.mit.edu/logitext.fcgi/tutorial |
logitext |
Interactive Tutorial of the Sequent Calculus by ezyang at ... ,. Also cf. `semantic-tableaux' |
lambdabot |
| http://unknownparallel.com/monads.php |
zamt |
The Dead Simple, No Chit Chat, Zero-Analogy Haskell Monad Tutorial: ... |
lambdabot |
| http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html |
cayenne |
Dependently typed FPL with turing-complete type system, by Lennart Augustsson (augustss), at (broken) ... . Also see `Agda' |
lambdabot |
| http://www.cs.utah.edu/~hal/htut/ |
yaht |
Yet Another Haskell Tutorial, Hal Daume III, ... ,, |
lambdabot |
| http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf |
agdatut |
|
lambdabot |
| http://www.grammaticalframework.org/ |
gf |
Grammatical Framework, dependently typed FPL, categorial grammar formalism, supporting multilingual grammar applications for e.g. natural language processing, at ... . (An old `Alfa' interface is at ) |
lambdabot |
| http://www.haskell.org/tutorial/ |
gentle |
|
lambdabot |
| http://www.haskell.org/tutorial/ |
tutorial |
|
lambdabot |
| https://github.com/jonascarpay/calligraphy |
call-graph |
https://jonascarpay.com/posts/2022-04-26-calligraphy-tutorial.html |
lambdabot |
| https://github.com/sdiehl/wiwinwlh/blob/master/tutorial.md |
wiwik |
What I Wish I Knew When Learning Haskell by Stephen Diehl at ... |
lambdabot |
| https://hub.darcs.net/simon/cabal-install-tutorial |
cabal-install-v1-tut |
How to cabal install [2013, cabal v1] |
lambdabot |
| https://hub.darcs.net/simon/cabal-install-tutorial#when-it-wont-install-cabal-hell |
cabal-hell |
[2013] |
lambdabot |
| https://leanpub.com/haskell-cookbook |
htac |
Haskell Tutorial and Cookbook by Mark Watson in 2017-09-04 at ... |
lambdabot |
| https://philipnilsson.github.io/Badness10k/escaping-hell-with-monads/ |
escaping-hell |
(non-tutorial teaser) "Escaping Hell with Monads" by Philip Nillson in 2017-05-08 at ... |
lambdabot |
| https://web.archive.org/web/20221208185730/https://www-users.mat.umk.pl/~fly/materialy/fp/haskell-doc/Monads.html |
hell-monads |
What the hell are Monads? by Noel Winstanley in 1999-02 at ... . Possibly the first (non-paper) general monad tutorial |
lambdabot |
| https://www.fpcomplete.com/haskell/tutorial/all-about-strictness |
strictness |
|
lambdabot |
| https://www.fpcomplete.com/haskell/tutorial/operators |
operators |
|
lambdabot |
| https://www.youtube.com/watch?v=sRonIB8ZStw |
stack-tutorial |
|
lambdabot |
Haskell Links Library