Search results

Experiment: instance based axioms

Status: Open.

#28 In samtoth/agda-synthetic-categories;

· samtoth opened on Jul 19, 2025

Define (distrubutive) lattices and latice homomorphism/algeberas etc..

Status: Open.

#22 In samtoth/agda-synthetic-categories;

· samtoth opened on Jun 17, 2025

Migrate to Forester 5.0

Status: Open.

#19 In samtoth/agda-synthetic-categories;

· samtoth opened on Jun 11, 2025

Update to the agda version with <code>--build-libarary</code>

chore

Status: Open.

#15 In samtoth/agda-synthetic-categories;

· samtoth opened on May 20, 2025

Emacs mode

Status: Open.

#14 In samtoth/agda-synthetic-categories;

· samtoth opened on May 9, 2025

Representation macro doesn't work with instance arguments

bugSomething isn't workingSomething isn't working

Status: Open.

#10 In samtoth/agda-synthetic-categories;

· samtoth opened on Apr 20, 2025

Orthogonal factorisation system

Status: Open.

#2 In samtoth/agda-synthetic-categories;

· samtoth opened on Mar 18, 2025