Issues

• Benchmarking

  wishlist
  subttle/regular#13 · Filter by author subttle opened on Mar 9, 2021

• Non-Empty set from Contravariant.Adjuction use cases

  idea
  subttle/regular#11 · Filter by author subttle opened on Nov 4, 2019

• Contravariant hierarchy

  experimentalidea
  subttle/regular#10 · Filter by author subttle opened on Nov 4, 2019
  3

• Transition Monoid for DFA?

  subttle/regular#9 · Filter by author subttle opened on Jun 1, 2019
  1

• Divisible/Decidable instances for DA

  subttle/regular#8 · Filter by author subttle opened on Jun 1, 2019
  5

• Changes to Config.hs

  idea
  subttle/regular#2 · Filter by author subttle opened on Nov 1, 2018
  1

• Restructuring

  subttle/regular#1 · Filter by author subttle opened on Oct 10, 2018