search

agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
366 stars 68 forks source link

Create dependabot.yml #385

Closed JasonGross closed 1 year ago

JasonGross commented 1 year ago

This will result in automatic PRs to update, e.g., the cache action