felix
felix copied to clipboard
conal
Agda category theory library for denotational design
It occurred to me that we could push our cachix from this public repository. It basically contains all the public dependencies: standard-library, felix and possibly agda if we ever going...
This module was omitted in `Felix.All` so it wasn't typechecked in the CI. This has led to it being broken with new instance resolution algorithm. Now it shouldn't get out...
Following discussion we had last week I've started to define those instances and it occurred to me that they would make nice addition to the base library. I've removed requirement...
Note that before reading Timely Computation I had no idea what PRED is about, now I have only high level overview of what it should do but I have no...