![]() * Renamed any/none to unknown/never * Pin hackage version * Update Agda version |
||
---|---|---|
.. | ||
build.yml | ||
prototyping.yml | ||
release.yml |
![]() * Renamed any/none to unknown/never * Pin hackage version * Update Agda version |
||
---|---|---|
.. | ||
build.yml | ||
prototyping.yml | ||
release.yml |