3 ms·
This is a great example. I also recall seeing refinement types (Liquid Haskell) used to prove termination of Euclids GCD.
by willtim 10y ago
This is a great example. I also recall seeing refinement types (Liquid Haskell) used to prove termination of Euclids GCD.