Haskell⁻¹: automatic function inversion in Haskell.

Fri, 01 Jan 2021 00:00:00 +0100

Finn Teegen , Kai-Oliver Prott , Niels Bunkenburg :
Haskell⁻¹: automatic function inversion in Haskell. Haskell 2021: 41-55