wilbowma/cur

Issues

• by-destruct fails on existentials containing a type given by a previous argument

  #121 opened 4 years ago by dmelcer9
  1

• define definitions recomputed on every call

  #134 opened 4 years ago by wilbowma
  5

• Can we integrate sexp-diff into error messages?

  #138 opened 4 years ago by wilbowma
  2

• Integrate predictable type-aware macros?

  #137 opened 4 years ago by wilbowma
  0

• add universe level inference

  #136 opened 4 years ago by stchang
  2

• more control over normalization by expansion

  #90 opened 4 years ago by wilbowma
  2

• Some Types are not fully expanded

  #133 opened 4 years ago by wilbowma
  2

• Elimnators and lambda not resugared properly?

  #132 opened 4 years ago by wilbowma
  1

• Pattern matcher support for dead clauses

  #127 opened 4 years ago by wilbowma
  4

• Sandbox/REPL doesn't work with data and define

  #62 opened 8 years ago by wilbowma
  2

• Change "master" to "main"

  #116 opened 4 years ago by wilbowma
  9

• Package catalogue running out of memory

  #131 opened 4 years ago by wilbowma
  2

• cur-type-check? not behaving as expected

  #130 opened 4 years ago by wilbowma
  3

• by-apply: allow partial args using #:with

  #122 opened 4 years ago by stchang
  1

• sigma doesnt resugar properly

  #128 opened 4 years ago by stchang
  0

• Printable data types

  #124 opened 4 years ago by wilbowma
  3

• "#%app: expected a typed term" with emacs-mode

  #125 opened 4 years ago by wilbowma
  0

• new-elim -> elim, elim -> old-elim

  #123 opened 4 years ago by wilbowma
  0

• abstract get-match-info interface

  #108 opened 4 years ago by wilbowma
  2

• ntac macros/tactic scripts?

  #104 opened 4 years ago by Kha
  17

• Internal error wrong number of patterns are given to define/rec/match

  #94 opened 4 years ago by florence
  0

• Termination checker doesn't check args not being matched on

  #93 opened 4 years ago by florence
  1

• remove C-pat from match-info

  #111 opened 4 years ago by stchang
  0

• Handle non-inductive arguments in pattern matching when they aren't destructed

  #117 opened 4 years ago by dmelcer9
  5

• define/rec/match needs another way to specify matching args

  #118 opened 4 years ago by stchang
  1

• zero argument lambda

  #75 opened 4 years ago by stchang
  6

• format-id error: given: #<syntax (even n)>

  #95 opened 4 years ago by sorawee
  4

• Make #lang cur vs #lang cur/base

  #114 opened 4 years ago by wilbowma
  4

• Update Documentation

  #113 opened 4 years ago by wilbowma
  0

• Scribble multiple tag warnings on install

  #91 opened 5 years ago by florence
  1

• Merge turnstile-core

  #88 opened 4 years ago by wilbowma
  1

• missing totality checker

  #92 opened 4 years ago by florence
  2

• Polish pattern-tree.rkt

  #110 opened 4 years ago by wilbowma
  0

• Implicit constructors defeat syntactic equality

  #106 opened 4 years ago by wilbowma
  5

• define-implicit defines syntax and not procedures

  #107 opened 4 years ago by wilbowma
  5

• More bad error messages

  #98 opened 5 years ago by wilbowma
  0

• collection not found for module path: turnstile/lang/lang/reader

  #96 opened 5 years ago by sorawee
  7

• replace all pattern matching on terms with pattern expanders

  #89 opened 5 years ago by wilbowma
  0

• Sample code from readme doesn't work

  #87 opened 5 years ago by xoltar
  4

• Recursion bug

  #82 opened 6 years ago by wilbowma
  1

• Complete POPLMark Challenges

  #85 opened 6 years ago by wilbowma
  2

• Disentangle stxutils from Cur

  #81 opened 6 years ago by wilbowma
  1

• More binding bugs lurk

  #64 opened 6 years ago by wilbowma
  2

• Bug in match related to variable binding

  #66 opened 6 years ago by wilbowma
  2

• `match` on `Bool` not same as `new-elim` with `Bool`

  #77 opened 6 years ago by stchang
  2

• Proofs of symmetry and transitivity for equality in stdlib are broken

  #72 opened 7 years ago by wilbowma
  0

• bug in elim?

  #71 opened 7 years ago by stchang
  3

• motive arg for `new-elim` (and `elim`) doesnt do anything?

  #67 opened 7 years ago by stchang
  2

• Bug in types of branches

  #65 opened 7 years ago by wilbowma
  0

• Performance bugs in reflection API

  #63 opened 7 years ago by wilbowma
  0