VariantSync/Vatras

Issues

• Fix Documentation on Variant Generators

  #77 opened a month ago
  0

• Simplify importing the library for certain atom sets

  #76 opened 2 months ago
  0

• Consider making the atom set a parameter instead of index

  #74 opened 3 months ago
  0

• Library Intro in README

  #73 opened 3 months ago
  0

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

  #66 opened 4 months ago
  1

• `Vatras` module

  #65 opened 3 months ago
  3

• Explain Name

  #54 opened 4 months ago
  0

• More Unicode :cookie:

  #51 opened 4 months ago
  0

• OOPSLA: Integrate Alex suggestions

  #50 opened 4 months ago
  3

• OOPSLA: Add Claims

  #49 opened 4 months ago
  0

• Add Parameters to Demo

  #47 opened 4 months ago
  1

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

  #46 opened 4 months ago
  6

• [Optional] Remove Constructor Logic?

  #45 opened 4 months ago
  0

• Rename Library to Vatras

  #44 opened 4 months ago
  0

• Wrong names for algebraic decision trees

  #20 opened 6 months ago
  1