Uploaded at Aug 28 09:35:14 2020 (UTC)
Succesfully tested at Feb 16 05:32:27 2023

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