profiling-pakcs-1.0.0
---------------------
Version 1.0.0
Author Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis Library to access profile data of the back-end Prolog system of
PAKCS
Category Debugging
Dependencies
Compiler compatibility
pakcs >= 2.0.0
Exported modules
Debug.Profile.PrologData
Source
Git https://git.ps.informatik.uni-kiel.de/curry-packages/profiling-pakcs.git@v1.0.0
License
BSD-3-Clause
License file
LICENSE