Uploaded at Nov 26 18:05:30 2021
Succesfully tested at Jun 25 07:18:33 2022

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 3.0.0
Package source:
profiling-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/profiling.git