GitHub repository: stefan-hoeck/idris2-profiler
Primary language: Idris
Created: 2022-05-14T07:49:11Z
Description: A simple profiler for Idris2 functions