Issues

• Research the different voter realizations, that's an interesting topic

  balodja/sesyrel#17 · Filter by author balodja opened on Apr 1, 2017
  1

  

• Make more quickcheck rules using typelevel arguments.

  balodja/sesyrel#12 · Filter by author balodja opened on Mar 10, 2014

• Make monoid instances instead of "product". Make Num instance for Expr.

  balodja/sesyrel#10 · Filter by author balodja opened on Mar 7, 2014

• Complete "substitutable" instances.

  balodja/sesyrel#9 · Filter by author balodja opened on Mar 7, 2014

• Kill normalizeDs.

  balodja/sesyrel#8 · Filter by author balodja opened on Mar 7, 2014

• Eliminate separate deltas normalization.

  balodja/sesyrel#6 · Filter by author balodja opened on Jan 26, 2014

• Make generation of graphs for fault trees (or even draw the fault trees)

  balodja/sesyrel#4 · Filter by author balodja opened on Jan 10, 2014
  2

• Comment the code, expand readme and give a little introduction

  balodja/sesyrel#3 · Filter by author balodja opened on Jan 10, 2014