pigworker/Syrup

Issues

• A compiler pass deploying De Morgan's laws

  #18 opened 2 months ago by gallais
  1

• Add a pretty printer

  #23 opened 2 months ago by gallais
  0

• Add a JSON interface to communicate with marx

  #22 opened 2 months ago by gallais
  0

• A place-value aware type system

  #20 opened 3 months ago by gallais
  0

• A compiler from truth tables to circuits

  #19 opened 3 months ago by gallais
  0

• Add a syrup -> string diagram visualiser

  #9 opened 3 months ago by gallais
  8

• add vector-based cost models

  #13 opened 3 months ago by pigworker
  0

• Syrup/SRC/Expt.hs:408:14-56: Non-exhaustive patterns in case

  #4 opened 4 months ago by gallais
  0

• Linter for useless pattern-matching

  #6 opened 5 years ago by gallais
  0