stefan-hoeck/idris2-sop

Issues

• Using derived `decEq` on inductive datatypes fails

  #28 opened 2 years ago by rvs314
  1

• derive Uninhabited

  #3 opened 3 years ago by dvc94ch
  2

• Use staging for performance?

  #2 opened 3 years ago by clayrat
  2