3 ms·
I thought it is something like Liquid Haskell...
by nesarkvechnep 10mo ago
I thought it is something like Liquid Haskell...
- zokier 10mo agoThat would be LiquidRust without the hyphen https://publikationen.bibliothek.kit.edu/1000152005 https://publikationen.bibliothek.kit.edu/1000152005 or flux https://dl.acm.org/doi/10.1145/3591283 https://dl.acm.org/doi/10.1145/3591283