inversion-3.0.0 --------------- Version 3.0.0 Author Michael Hanus Synopsis Utility operations to invert functions Category Logic Programming Dependencies base >= 3.0.0, < 4.0.0 Exported modules Data.Function.Inversion Test suite Directory src Check options --nosource Test modules Data.Function.Inversion Source Git https://github.com/curry-packages/inversion.git@v3.0.0 License BSD-3-Clause License file LICENSE