wilbowma/cur issues and pull requests

#140 - fix tests to stay synced with Turnstile HEAD

Pull Request - State: closed - Opened by stchang over 3 years ago - 1 comment

#139 - support new turnstile/typedef v0.5.6: no eval for ty/internal table

Pull Request - State: closed - Opened by stchang about 4 years ago

#138 - Can we integrate sexp-diff into error messages?

Issue - State: open - Opened by wilbowma about 4 years ago - 2 comments

#137 - Integrate predictable type-aware macros?

Issue - State: open - Opened by wilbowma about 4 years ago

#136 - add universe level inference

Issue - State: open - Opened by stchang over 4 years ago - 2 comments
Labels: enhancement

#135 - attempt to fix #134

Pull Request - State: closed - Opened by stchang over 4 years ago - 6 comments

#134 - define definitions recomputed on every call

Issue - State: open - Opened by wilbowma over 4 years ago - 5 comments

#133 - Some Types are not fully expanded

Issue - State: open - Opened by wilbowma over 4 years ago - 2 comments

#132 - Elimnators and lambda not resugared properly?

Issue - State: open - Opened by wilbowma over 4 years ago - 1 comment

#131 - Package catalogue running out of memory

Issue - State: open - Opened by wilbowma over 4 years ago - 2 comments

#130 - cur-type-check? not behaving as expected

Issue - State: closed - Opened by wilbowma over 4 years ago - 3 comments

#129 - fixes #121 destruct sigma types

Pull Request - State: open - Opened by stchang over 4 years ago - 3 comments

#128 - sigma doesnt resugar properly

Issue - State: open - Opened by stchang over 4 years ago

#127 - Pattern matcher support for dead clauses

Issue - State: open - Opened by wilbowma over 4 years ago - 4 comments

#126 - ntac by-apply: create subgoals when not enough #:with args

Pull Request - State: closed - Opened by stchang over 4 years ago

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

Issue - State: open - Opened by wilbowma over 4 years ago

#124 - Printable data types

Issue - State: open - Opened by wilbowma over 4 years ago - 3 comments

#123 - new-elim -> elim, elim -> old-elim

Issue - State: open - Opened by wilbowma over 4 years ago

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

Issue - State: closed - Opened by stchang over 4 years ago - 1 comment
Labels: ntac

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

Issue - State: closed - Opened by dmelcer9 over 4 years ago - 1 comment
Labels: ntac

#120 - rename get-datatype-def -> get-datatype-info

Pull Request - State: closed - Opened by stchang over 4 years ago - 1 comment

#119 - add some termination tests; closes #93

Pull Request - State: closed - Opened by stchang over 4 years ago

#118 - define/rec/match needs another way to specify matching args

Issue - State: open - Opened by stchang over 4 years ago - 1 comment

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

Issue - State: closed - Opened by dmelcer9 over 4 years ago - 5 comments

#116 - Change "master" to "main"

Issue - State: closed - Opened by wilbowma over 4 years ago - 9 comments

#115 - remove Cpat from match-info; add match-info extractor fns

Pull Request - State: closed - Opened by stchang over 4 years ago - 2 comments

#114 - Make #lang cur vs #lang cur/base

Issue - State: open - Opened by wilbowma over 4 years ago - 4 comments

#113 - Update Documentation

Issue - State: open - Opened by wilbowma over 4 years ago

#112 - merge turnstile-core and related branches into master

Pull Request - State: closed - Opened by stchang over 4 years ago - 7 comments

#111 - remove C-pat from match-info

Issue - State: closed - Opened by stchang over 4 years ago

#110 - Polish pattern-tree.rkt

Issue - State: open - Opened by wilbowma over 4 years ago

#109 - Merge Turnstile Core

Pull Request - State: closed - Opened by wilbowma over 4 years ago - 14 comments

#108 - abstract get-match-info interface

Issue - State: closed - Opened by wilbowma over 4 years ago - 2 comments

#107 - define-implicit defines syntax and not procedures

Issue - State: open - Opened by wilbowma over 4 years ago - 5 comments

#106 - Implicit constructors defeat syntactic equality

Issue - State: open - Opened by wilbowma over 4 years ago - 5 comments

#105 - Add totality checking

Pull Request - State: closed - Opened by wilbowma over 4 years ago - 28 comments

#104 - ntac macros/tactic scripts?

Issue - State: closed - Opened by Kha over 4 years ago - 17 comments
Labels: ntac

#103 - Add support for alternative pattern matching and totality checking

Pull Request - State: closed - Opened by pwang347 almost 5 years ago - 18 comments

#102 - consistently use turnstile+ name

Pull Request - State: closed - Opened by stchang almost 5 years ago - 3 comments

#101 - stdlib/sugar, stdlib/sized: use #:where turnstile premise option

Pull Request - State: closed - Opened by stchang almost 5 years ago - 1 comment

#100 - Fix issues in syntactic guard termination checker

Pull Request - State: closed - Opened by pwang347 almost 5 years ago - 18 comments

#99 - Add 'auto' tactic and STLC example

Pull Request - State: closed - Opened by pwang347 about 5 years ago - 10 comments

#98 - More bad error messages

Issue - State: open - Opened by wilbowma about 5 years ago

#97 - fix stdlib/sugar tests

Pull Request - State: closed - Opened by stchang about 5 years ago

#96 - collection not found for module path: turnstile/lang/lang/reader

Issue - State: closed - Opened by sorawee about 5 years ago - 7 comments

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

Issue - State: closed - Opened by sorawee about 5 years ago - 4 comments
Labels: fixed-by-turnstile+?

#94 - Internal error wrong number of patterns are given to define/rec/match

Issue - State: closed - Opened by florence about 5 years ago
Labels: fixed-by-turnstile+?

#93 - Termination checker doesn't check args not being matched on

Issue - State: closed - Opened by florence about 5 years ago - 1 comment
Labels: fixed-by-turnstile+?

#92 - missing totality checker

Issue - State: closed - Opened by florence about 5 years ago - 2 comments

#91 - Scribble multiple tag warnings on install

Issue - State: open - Opened by florence about 5 years ago - 1 comment
Labels: fixed-by-turnstile+?

#90 - more control over normalization by expansion

Issue - State: closed - Opened by wilbowma about 5 years ago - 2 comments

#89 - replace all pattern matching on terms with pattern expanders

Issue - State: open - Opened by wilbowma about 5 years ago

#88 - Merge turnstile-core

Issue - State: closed - Opened by wilbowma about 5 years ago - 1 comment

#87 - Sample code from readme doesn't work

Issue - State: closed - Opened by xoltar over 5 years ago - 4 comments

#86 - Turnstile core

Pull Request - State: closed - Opened by stchang almost 6 years ago

#85 - Complete POPLMark Challenges

Issue - State: open - Opened by wilbowma almost 6 years ago - 2 comments

#84 - add ntac documentation

Pull Request - State: closed - Opened by stchang about 6 years ago - 13 comments

#83 - start documenting ntac tactics

Pull Request - State: closed - Opened by stchang about 6 years ago - 1 comment

#82 - Recursion bug

Issue - State: closed - Opened by wilbowma over 6 years ago - 1 comment

#81 - Disentangle stxutils from Cur

Issue - State: open - Opened by wilbowma over 6 years ago - 1 comment

#80 - Added basic ntac tactics and tests from Software Foundations

Pull Request - State: closed - Opened by wilbowma over 6 years ago - 2 comments

#79 - [wip] add more ntac tactics

Pull Request - State: closed - Opened by stchang over 6 years ago - 2 comments

#78 - fix `and` in `stdlib/bool`

Pull Request - State: closed - Opened by stchang over 6 years ago - 1 comment

#77 - `match` on `Bool` not same as `new-elim` with `Bool`

Issue - State: closed - Opened by stchang over 6 years ago - 2 comments

#76 - Add racket 6.11 and 6.12 to travis test script

Pull Request - State: closed - Opened by wilbowma over 6 years ago

#75 - zero argument lambda

Issue - State: closed - Opened by stchang almost 7 years ago - 6 comments
Labels: fixed-by-turnstile+?

#74 - add travis test script

Pull Request - State: closed - Opened by stchang about 7 years ago

#73 - fix equality tests; now matches coq; closes #72

Pull Request - State: closed - Opened by stchang about 7 years ago - 1 comment

#72 - Proofs of symmetry and transitivity for equality in stdlib are broken

Issue - State: closed - Opened by wilbowma about 7 years ago

#71 - bug in elim?

Issue - State: closed - Opened by stchang about 7 years ago - 3 comments

#70 - add dependency on chk-lib

Pull Request - State: closed - Opened by wilbowma about 7 years ago - 2 comments

#69 - add some equality tests

Pull Request - State: closed - Opened by stchang about 7 years ago

#68 - add cur-test dependency on chk package

Pull Request - State: closed - Opened by stchang about 7 years ago - 2 comments

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

Issue - State: closed - Opened by stchang about 7 years ago - 2 comments

#66 - Bug in match related to variable binding

Issue - State: closed - Opened by wilbowma about 7 years ago - 2 comments

#65 - Bug in types of branches

Issue - State: closed - Opened by wilbowma over 7 years ago

#64 - More binding bugs lurk

Issue - State: closed - Opened by wilbowma over 7 years ago - 2 comments

#63 - Performance bugs in reflection API

Issue - State: open - Opened by wilbowma over 7 years ago

#62 - Sandbox/REPL doesn't work with data and define

Issue - State: open - Opened by wilbowma over 7 years ago - 2 comments
Labels: fixed-by-turnstile+?

#61 - Cur docs sometimes don't build

Issue - State: closed - Opened by wilbowma over 7 years ago

#60 - Strict positivity broken

Issue - State: closed - Opened by wilbowma over 7 years ago

#59 - Type error should be detected earlier

Issue - State: closed - Opened by YouyouCong about 8 years ago

#58 - Use of "tactics" and "tacticals" is at odds with historical use

Issue - State: open - Opened by wilbowma about 8 years ago
Labels: ntac

#55 - Reimplement pattern matching

Issue - State: closed - Opened by wilbowma about 8 years ago - 2 comments
Labels: bug

#54 - Support for syntax-parameters

Issue - State: closed - Opened by wilbowma about 8 years ago

#52 - Graphical interface for catagory theory proofs

Issue - State: open - Opened by wilbowma about 8 years ago - 2 comments
Labels: enhancement, help wanted

#48 - Add some solvers!

Issue - State: open - Opened by wilbowma over 8 years ago - 1 comment
Labels: fixed-by-turnstile+?

#47 - Transitivity of subtyping?

Issue - State: closed - Opened by wilbowma over 8 years ago - 3 comments
Labels: fixed-by-turnstile+?

#45 - Type inference

Issue - State: closed - Opened by wilbowma over 8 years ago - 4 comments
Labels: enhancement, fixed-by-turnstile+?

#41 - η-expansion during conversion

Issue - State: open - Opened by wilbowma over 8 years ago
Labels: enhancement, fixed-by-turnstile+?

#36 - Better Syntax

Issue - State: open - Opened by wilbowma over 8 years ago - 2 comments
Labels: enhancement

#35 - match inductive hypothesis inference broken

Issue - State: closed - Opened by wilbowma over 8 years ago - 2 comments
Labels: bug

#31 - REPL broken again

Issue - State: closed - Opened by wilbowma over 8 years ago

#29 - First-class modules via macros?

Issue - State: open - Opened by wilbowma almost 9 years ago - 2 comments
Labels: enhancement, question

#26 - Horrible Type Error Messages

Issue - State: closed - Opened by maxsnew about 9 years ago - 6 comments
Labels: bug

#16 - Lack of documentation

Issue - State: open - Opened by wilbowma about 9 years ago - 7 comments
Labels: bug

#15 - Fix require/provide

Issue - State: closed - Opened by wilbowma about 9 years ago
Labels: enhancement

#12 - A smaller core with Pi/Sigma & macros

Issue - State: closed - Opened by wilbowma about 9 years ago - 1 comment
Labels: question

#10 - example.rkt is out-dated

Issue - State: open - Opened by wilbowma over 9 years ago - 1 comment
Labels: bug

#1 - Reimplement Curnel in not-Redex.

Issue - State: closed - Opened by wilbowma over 9 years ago - 6 comments
Labels: enhancement

GitHub / wilbowma/cur issues and pull requests