stchang/cur

Issues

• add positivity check for define-datatype

  #2 opened 5 years ago by stchang
  4

• define/rec/match should not be in stdlib/sugar

  #22 opened 5 years ago by stchang
  0

• add termination check in define/rec/match

  #3 opened 5 years ago by stchang
  5

• Predicativity for Pi in turnstile-core

  #1 opened 5 years ago by wilbowma
  1

• Type : Type is inconsistent

  #14 opened 5 years ago by wilbowma
  1

• define/rec/match overlapping patterns not working

  #18 opened 5 years ago by stchang
  0

• ntac should allow more flexible traversal

  #17 opened 5 years ago by stchang
  0

• Crap Error Messages

  #15 opened 6 years ago by wilbowma
  14

• Can't use \Pi at run-time

  #4 opened 5 years ago by stchang
  1

• ntac: env ctxt doesnt preserve scoping

  #5 opened 6 years ago by stchang
  1