search

agda / agda-categories

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

Create stub for CoKleisli.agda #314

Closed tetrapharmakon closed 2 years ago

tetrapharmakon commented 2 years ago

The associativity property is a game of assoc, refl⟩∘⟨ and ⟩∘⟨refl... More expert hands will fill the hole!

JacquesCarette commented 2 years ago

(need to let the CI run first, before merge)

JacquesCarette commented 2 years ago

This is looking excellent. I'll figure out out to use stdlib-1.7 and merge this in.