Search results

Update error message re: plugin ordering

Status: Open.

#112 In con-kitty/categorifier;

· sellout opened on Jan 9, 2025

include Data.Distribute.distribute

Status: Open.

#104 In con-kitty/categorifier;

· martyall opened on Jan 30, 2024

Errors with Natural

Status: Open.

#99 In con-kitty/categorifier;

· martyall opened on Jan 3, 2024

Dependency Dashboard

Status: Open.

#93 In con-kitty/categorifier;

· renovate opened on Dec 8, 2023

Categorifier imposes a ClosedCat constraint where not theoretically necessary

Status: Open.

#88 In con-kitty/categorifier;

· agrue opened on May 3, 2023

Add a test for AxiomInstCo

Status: Open.

#73 In con-kitty/categorifier;

· zliu41 opened on May 14, 2022

Use thNameToGhcName

Status: Open.

#58 In con-kitty/categorifier;

· zliu41 opened on Apr 22, 2022

Run categorify in CoreM

Status: Open.

#57 In con-kitty/categorifier;

· zliu41 opened on Apr 21, 2022

simplify unsupported interpretations

Status: Open.

#54 In con-kitty/categorifier;

· zliu41 opened on Apr 15, 2022

support more coercions

Status: Open.

#53 In con-kitty/categorifier;

· zliu41 opened on Apr 15, 2022

eliminate CoerceCat

Status: Open.

#52 In con-kitty/categorifier;

· zliu41 opened on Apr 15, 2022

support tracing of the plugin's conversion

Status: Open.

#51 In con-kitty/categorifier;

· zliu41 opened on Apr 15, 2022