language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 13:59:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6
roc/crates/compiler/unify/src
History
Ayaz Hafiz 20d0d62af7
Allow extending Openness constraints when doing specializations
2023-01-16 10:54:39 -06:00
..
fix.rs Add a notion of "openness" tag extensions suitable only for size-polymorphism 2023-01-16 10:52:23 -06:00
lib.rs Check in fixpoint-fixing algorithm 2022-11-16 14:05:51 -06:00
unify.rs Allow extending Openness constraints when doing specializations 2023-01-16 10:54:39 -06:00