Giters

agda / agda-stdlib

The Agda standard library

Home Page:https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add bundles for lattice-like and module-like morphisms

jamesmckinna opened this issue · comments

commented

The following don't need changes now but we should make issues for them so we don't lose track:

  • Bundles for lattice-like and module-like morphisms

Originally posted by @Taneb in #2383 (review)