Search results

Refactor Data.Vec to use a refinement type ala <code>Fin</code>

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#567 In the1lab/1lab;

· TOTBWF opened on Sep 17, 2025

F-algebras, F-colgebras, and F-dialgebras as pullbacks of <code>Comma</code>

category-theoryFor issues/pull requests relating to the Cat.* namespaceFor issues/pull requests relating to the Cat.* namespace

enhancementNew feature or requestNew feature or request

Status: Open.

#556 In the1lab/1lab;

· TOTBWF opened on Aug 22, 2025

Presheaf categories are locally cartesian closed.

Status: Open.

#534 In the1lab/1lab;

· finegeometer opened on Jul 31, 2025

Banish <code>Total-hom</code> in favor of a sigma type

enhancementNew feature or requestNew feature or request

Status: Open.

#496 In the1lab/1lab;

· TOTBWF opened on May 11, 2025

Some stuff im working on

Status: Open.

#489 In the1lab/1lab;

· 4e554c4c opened on Apr 29, 2025

<code>is-total-order</code> is not a property

Status: Open.

#474 In the1lab/1lab;

· TOTBWF opened on Mar 5, 2025

Equational reasoning in a displayed category is extremely slow

Status: Open.

#463 In the1lab/1lab;

· TOTBWF opened on Feb 8, 2025

Yet another irrelevant instance bug

Status: Open.

#428 In the1lab/1lab;

· ncfavier opened on Aug 27, 2024

Enable search on mobile

Status: Open.

#426 In the1lab/1lab;

· hmltn-0 opened on Aug 24, 2024

container for building the 1lab

Status: Open.

#400 In the1lab/1lab;

· 4e554c4c opened on Jun 25, 2024

Links to source code

webFor issues/pull requests relating to the 1lab website itself.For issues/pull requests relating to the 1lab website itself.

Status: Open.

#213 In the1lab/1lab;

· plt-amy opened on Apr 25, 2023

Rename Chaotic Bifibration to Constant Bifibration

Status: Open.

#209 In the1lab/1lab;

· TOTBWF opened on Apr 21, 2023