VariantSync/Vatras

Issues

• Simplify importing the library for certain atom sets

  #76 opened 3 months ago by pmbittner
  0

• Fix Documentation on Variant Generators

  #77 opened 2 months ago by pmbittner
  0

• Consider making the atom set a parameter instead of index

  #74 opened 4 months ago by ibbem
  0

• Library Intro in README

  #73 opened 4 months ago by pmbittner
  0

• `Vatras` module

  #65 opened 4 months ago by pmbittner
  3

• Explain Name

  #54 opened 5 months ago by pmbittner
  0

• Document in README how to check that there are no axioms?

  #46 opened 5 months ago by pmbittner
  6

• Remove `{-# OPTIONS --allow-unsolved-metas #-}`

  #66 opened 5 months ago by pmbittner
  1

• Rename Library to Vatras

  #44 opened 5 months ago by pmbittner
  0

• OOPSLA: Add Claims

  #49 opened 5 months ago by pmbittner
  0

• OOPSLA: Integrate Alex suggestions

  #50 opened 5 months ago by pmbittner
  3

• [Optional] Remove Constructor Logic?

  #45 opened 5 months ago by pmbittner
  0

• More Unicode :cookie:

  #51 opened 5 months ago by pmbittner
  0

• Add Parameters to Demo

  #47 opened 5 months ago by pmbittner
  1

• Wrong names for algebraic decision trees

  #20 opened 7 months ago by pmbittner
  1