Welcome to Issue Stats!


Analyze and compare how long it takes for Github issues to be closed.



Check out some examples:





pepijnkokke/FirstOrderUnificationInAgda Agda
Pr?style=flat square
Issue?style=flat square



Implementation of McBride's "First-order unification by structural recursion" in Agda.


2
closed issues

0
open issues

1
forks

4
stars

14.6 KB
repository size



Get this data via JSON: http://issuestats.com/github/pepijnkokke/FirstOrderUnificationInAgda?format=json


Fetching README

Updated over 1 year ago
refresh