Search results

Soundness of <code>powMonotone2</code>

bug

Status: Open.

#123 In ekmett/constraints;

· alejandrorusso opened on Feb 4, 2024

An adjunction(?)

Status: Open.

#107 In ekmett/constraints;

· masaeedu opened on May 22, 2021

instance Lift (Dict cls)

Status: Open.

#97 In ekmett/constraints;

· Icelandjack opened on Dec 13, 2019

Update for QuantifiedConstraints

Status: Open.

#90 In ekmett/constraints;

· treeowl opened on Jul 6, 2019

Expose ComposeC

Status: Open.

#83 In ekmett/constraints;

· Ericson2314 opened on Jan 29, 2019

Add 'deferDict :: Deferrable cls =&gt; Either String (Dict cls)' method

Status: Open.

#76 In ekmett/constraints;

· Icelandjack opened on May 6, 2018

human-facing documentation?

Status: Open.

#73 In ekmett/constraints;

· AntC2 opened on Feb 3, 2018

(:-) a closed category?

Status: Open.

#68 In ekmett/constraints;

· Zemyla opened on Nov 15, 2017

Add an <code>Exists</code> type

Status: Open.

#66 In ekmett/constraints;

· harpocrates opened on Sep 15, 2017

New axioms

Status: Open.

#63 In ekmett/constraints;

· SkorikGG opened on Jun 4, 2017

Deferrable with default values

Status: Open.

#57 In ekmett/constraints;

· Icelandjack opened on May 20, 2017

Generalise kind of ForallT

Status: Open.

#54 In ekmett/constraints;

· Icelandjack opened on May 4, 2017