These resources are not vetted or tested with learners as cis194 and NICTA course have been, but they're linked in [the topic listing](specific_topics.md) so you have ideas on where to begin. This includes things like intermediate/advanced concepts and subjects like tooling and text editors.
These resources are not vetted or tested with learners as cis194 and NICTA course have been, but they're linked in [the topic listing](specific_topics.md) so you have ideas on where to begin. This includes things like intermediate/advanced concepts and subjects like tooling and text editors.
## Paramétricité, ad-hoc vs. polymorphisme paramétrique, théorèmes libres
## Paramétricité, ad-hoc vs. polymorphisme paramétrique, théorèmes libres
@ -792,12 +776,6 @@ Si vous voulez en apprendre plus sur les types et la théorie des catégories:
- [Interconnexion statique GMP avec GHC et LLVM](http://stackoverflow.com/questions/10539857/statically-link-gmp-to-an-haskell-application-using-ghc-llvm)
- [Interconnexion statique GMP avec GHC et LLVM](http://stackoverflow.com/questions/10539857/statically-link-gmp-to-an-haskell-application-using-ghc-llvm)
# Liste de lecture étendue
> Certains sont déjà inclus ici
- [Liste de lecture Haskell Essentielle](http://www.stephendiehl.com/posts/essential_haskell.html)