Uploaded at Aug 20 13:15:28 2020 (UTC)
Succesfully tested at Aug 28 04:23:02 2020

Curry Package profiling

profiling: Support for simple profiling

This package contains a simple profiling library containing operations to access run-time data.



Download

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