Actions: mr-ohman/logrel-mltt
Actions
Showing runs from all workflows
2 workflow runs
2 workflow runs
Add Binary Sum Types and Truncations
agda-ci
#2:
Pull request #12
opened
by
brunorochapaiva
Fix #9: Add CI (#11)
agda-ci
#1:
Commit a171530
pushed
by
andreasabel