subttle/regular

Issues

• Explicit testing of generated sequences which can be checked using external resource

  #14 opened 4 years ago by subttle
  0

• Benchmarking

  #13 opened 4 years ago by subttle
  0

• Please, publish to hackage

  #12 opened 4 years ago by safinaskar
  3

• Contravariant hierarchy

  #10 opened 5 years ago by subttle
  3

• RE and ERE axiomization

  #5 opened 5 years ago by subttle
  3

• Diagrams for Drawing Automata

  #4 opened 5 years ago by subttle
  0

• Interactions with non-regular language formalisms

  #7 opened 5 years ago by subttle
  0

• Agda RE proofs

  #6 opened 5 years ago by subttle
  0

• Non-Empty set from Contravariant.Adjuction use cases

  #11 opened 5 years ago by subttle
  0

• Transition Monoid for DFA?

  #9 opened 5 years ago by subttle
  1

• Divisible/Decidable instances for DA

  #8 opened 5 years ago by subttle
  5

• Testing Suite

  #3 opened 6 years ago by subttle
  2

• Changes to Config.hs

  #2 opened 6 years ago by subttle
  1

• Restructuring

  #1 opened 6 years ago by subttle
  0