- https://elm-lang.org/news/0.9#type-checker-and-build-improvements
- http://index-of.co.uk/Mathematics/Benjamin_C._Pierce-Advanced_topics_in_types_and_programming_languages-The_MIT_Press(2004).pdf (section 10.3)
- http://gallium.inria.fr/~fpottier/publis/emlti-final.pdf
- https://github.com/wh5a/Algorithm-W-Step-By-Step/raw/master/AlgorithmW.pdf
Created
April 28, 2020 19:52
-
-
Save rlefevre/4d9ca39cc6b12af0373daf020ec235b8 to your computer and use it in GitHub Desktop.
Elm type system resources
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment