https://github.com/whiletruu/type-inference-in-elm-playground

Playground for type inference in elm
https://github.com/whiletruu/type-inference-in-elm-playground

elm hindley-milner playground type-inference

Last synced: about 1 month ago
JSON representation

Playground for type inference in elm

• Host: GitHub
• URL: https://github.com/whiletruu/type-inference-in-elm-playground
• Owner: WhileTruu
• License: bsd-3-clause
• Created: 2022-08-02T20:25:11.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2022-08-05T16:26:58.000Z (almost 4 years ago)
• Last Synced: 2025-02-23T06:29:42.636Z (over 1 year ago)
• Topics: elm, hindley-milner, playground, type-inference
• Language: Elm
• Homepage: https://whiletruu.github.io/type-inference-in-elm-playground/
• Size: 116 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Type inference in Elm playground

A bunch of different versions of Hindley-Milner kind of type checkers 

and stuff written in Elm.