Uploaded at Dec 10 19:42:09 2020
Succesfully tested at Jan 24 07:29:16 2021

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.


Download

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