Search results

Benchmarking

wishlist

Status: Open.

#13 In subttle/regular;

· subttle opened on Mar 9, 2021

Non-Empty set from Contravariant.Adjuction use cases

idea

Status: Open.

#11 In subttle/regular;

· subttle opened on Nov 4, 2019

Contravariant hierarchy

experimental

idea

Status: Open.

#10 In subttle/regular;

· subttle opened on Nov 4, 2019

Transition Monoid for DFA?

Status: Open.

#9 In subttle/regular;

· subttle opened on Jun 1, 2019

Divisible/Decidable instances for DA

Status: Open.

#8 In subttle/regular;

· subttle opened on Jun 1, 2019

Changes to Config.hs

idea

Status: Open.

#2 In subttle/regular;

· subttle opened on Nov 1, 2018

Restructuring

Status: Open.

#1 In subttle/regular;

· subttle opened on Oct 10, 2018