15 ms·
Looks like it's a predecessor https://www.microsoft.com/en-us/research/project/f7-refinement-types-for-f/ https://www.microsoft.com/en-us/research/project/f7-re
by mlinksva 2y ago
Looks like it's a predecessor https://www.microsoft.com/en-us/research/project/f7-refinement-types-for-f/ https://www.microsoft.com/en-us/research/project/f7-refineme...
- BoingBoomTschak 2y agoOh yeah, didn't look at the dates. It's maybe dead, then.