Sign inSign up

agda/agda-categories

A new Categories library for Agda

AgdaStars 391Forks 73Watchers 391Open issues 69License MIT License
Details
仓库信息
Owneragda
Homepagehttps://agda.github.io/agda-categories
GitHubhttps://github.com/agda/agda-categories
Last pushed2025-12-12
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--