An implementation of "Polymorphic type, region and effect inference" by Talpin and Jouvelot (doi).
- Run
Talpin.Repl.main()via VsCode and write fxflix: let f = \x -> x; let g = \y -> f(1) + f(y); g(42)
forked from JonathanStarup/talpin1992-in-flix
-
Notifications
You must be signed in to change notification settings - Fork 0
gwydd12/talpin1992-in-flix
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published