RedPRL/kado

Issues

• Add tests

  #2 opened 3 years ago by favonia
  1

• Split the handling of "<=" into a standalone library for unfolding control

  #12 opened 2 years ago by favonia
  0

• Use bitmap for reachability

  #11 opened 2 years ago by favonia
  0

• Add CofThy.{Alg,Dist}.normalize_cof

  #3 opened 3 years ago by favonia
  0

• Extract traces from cooltt for profiling

  #1 opened 3 years ago by favonia
  0