search

agda / agda-categories

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

Replace deprecated definitions of poset homomorphisms #277

Closed sstucki closed 3 years ago

sstucki commented 3 years ago

…by the new bundles from stdlib v1.6.

Fixes #267.

JacquesCarette commented 3 years ago

Fantastic - just waiting for Travis to approve too.