Curry Package inversion

inversion: Utility operations to invert functions

This package contains a family of operations to invert functions, i.e., to compute the inverse (relation) of a function for different arities.

Checkout with CPM:: cypm checkout inversion 3.0.0
Package source:: inversion-3.0.0.tar.gz [browse]
Source repository:: https://git.ps.informatik.uni-kiel.de/curry-packages/inversion.git