suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 15c9ef4423 Missing build dependency on redex-lib for cur-test fix-dependency-issues Georges Dupéron 2016-04-01 18:12:11 +0200
  • 1760a02665
         Trying to fix performance bugs with conversion core-reorg William J. Bowman 2016-03-25 20:47:27 -0400
  • 3de6a132cd
         Separate judgment for checking constructors William J. Bowman 2016-03-25 13:42:23 -0400
  • 8b58736101
         Split wf and validity checking William J. Bowman 2016-03-25 03:00:46 -0400
  • 0b0a2eed40
         Added some missing wf checks William J. Bowman 2016-03-25 02:57:22 -0400
  • 64c8edfde4
         where #t is stupid; use side-condition William J. Bowman 2016-03-25 02:55:45 -0400
  • 2382151166
         A different language for each reduction strategies William J. Bowman 2016-03-25 02:52:38 -0400
  • 816da683ec
         Fixed bug in well-formed inductive type checker William J. Bowman 2016-03-25 00:50:24 -0400
  • 543a7f93e6
         [Perf. Bug] Split subtyping/reduce in conversion William J. Bowman 2016-03-25 17:00:25 -0400
  • 13dd8bc299
         Abstracted reduction William J. Bowman 2016-03-24 21:49:06 -0400
  • 2870a346d7
         Improved documentation William J. Bowman 2016-03-24 20:28:31 -0400
  • 64b18334ae
         Improving readability of core, at performance cost William J. Bowman 2016-03-24 19:50:52 -0400
  • 7cd18766a2
         Check redundancy in core tests William J. Bowman 2016-03-24 17:09:15 -0400
  • b6d4888b1c
         No need for α-equivalent?; handled by Redex William J. Bowman 2016-03-24 16:53:32 -0400
  • 4951da6884
         s/parameter/index/ William J. Bowman 2016-03-24 16:38:46 -0400
  • b9fe82d462
         Separated core from API to core William J. Bowman 2016-03-24 16:27:10 -0400
  • 832b7be5db
         NB, API changes: Faster/more primitive elim master William J. Bowman 2016-03-23 15:01:02 -0400
  • c5cbf9f9ea
         Documented new elim form faster-elim William J. Bowman 2016-03-23 19:23:21 -0400
  • 69df6eeef0
         Converted to new eliminator; all tests pass William J. Bowman 2016-03-23 18:32:34 -0400
  • 5505b14e2f
         More primitive elim form for inductives William J. Bowman 2016-03-23 15:01:02 -0400
  • 185cc71c62
         Bumped version William J. Bowman 2016-03-22 18:22:36 -0400
  • 5a3facebfb
         Attempting to fix conversion rules fix-conversio William J. Bowman 2016-03-22 14:41:52 -0400
  • 8cb4bc3f96
         Added pre-definition type ascription William J. Bowman 2016-03-22 13:31:16 -0400
  • e334376433
         Syntax parse in redex-lang forms William J. Bowman 2016-03-22 13:16:30 -0400
  • 59e241ecb2
         Simplify parts of Curnel implementation William J. Bowman 2016-02-22 19:31:40 -0500
  • db7471c9d6
         Fixed typo in README William J. Bowman 2016-03-17 17:02:10 -0400
  • e0e23a60a1
         Fixed typo in README William J. Bowman 2016-03-17 17:01:40 -0400
  • b8ca2ad9dc
         Added support for sweet-expressions William J. Bowman 2016-03-17 16:59:54 -0400
  • 4f272dc507
         NB XXX: Renamed reflection API functions William J. Bowman 2016-03-14 17:20:58 -0400
  • 8b3159bb6f
         Reorganized stdlib docs a bit William J. Bowman 2016-03-17 15:38:17 -0400
  • ab6d62252f
         Making the core language more like Curnel William J. Bowman 2016-03-17 15:16:43 -0400
  • 572b66aac4
         Added axioms; added test, but it's *slow* axioms William J. Bowman 2016-01-22 15:28:11 -0500
  • 63357484d9
         Some examples from Coq, and equivalents in Cur wishlist William J. Bowman 2016-01-22 14:20:16 -0500
  • 5fe50b4758
         Better typeclasses William J. Bowman 2016-01-22 14:19:49 -0500
  • 14960fd038
         More quasisyntax/loc for better error messages better-errors William J. Bowman 2016-01-21 16:07:16 -0500
  • cc502671a6
         [FAILING] Fixing design and running tests William J. Bowman 2016-01-21 15:14:13 -0500
  • 83fb144c24
         [UNTESTED, DESIGN BUGS] Design for typed macros William J. Bowman 2016-01-20 17:52:37 -0500
  • 76933bd3b1
         Fixed coq->cur to setup local-env, tweaked -> William J. Bowman 2016-01-19 16:57:17 -0500
  • 87bc0e44bc
         [FAILING] cur-lib builds, tests fail William J. Bowman 2016-01-19 15:20:40 -0500
  • b52ae2617b
         Better error messages for application William J. Bowman 2016-01-19 14:25:51 -0500
  • 961a5b7bb9
         Rewrote Olly William J. Bowman 2016-01-12 19:07:19 -0500
  • 3af3d8dbe9
         Small syntax fixes olly-rewrite William J. Bowman 2016-01-19 11:20:19 -0500
  • 22404dfe98
         Fixed up inferrence rules William J. Bowman 2016-01-18 15:13:09 -0500
  • 0e46da74ab
         [Broken] rewriting the rest of olly William J. Bowman 2016-01-14 18:32:16 -0500
  • d613b53700
         Renamed "nested-expression" syntax to match docs William J. Bowman 2016-01-14 15:20:39 -0500
  • c7aefdb032
         Removed Var "abstractions" William J. Bowman 2016-01-14 15:16:58 -0500
  • fd52c764da
         Fixed bug in define-relation William J. Bowman 2016-01-13 21:43:25 -0500
  • fb39a88eac
         Converted stlc example to use List for environment William J. Bowman 2016-01-13 21:42:58 -0500
  • 9fb4c55799
         Fixed binding in olly William J. Bowman 2016-01-12 21:33:08 -0500
  • f0dce3bf92
         Fixed syntax-class of non-terminal definitions William J. Bowman 2016-01-12 19:27:47 -0500
  • 345c12f040
         Rewrote define-language William J. Bowman 2016-01-12 19:07:19 -0500
  • 3a644fae90
         Added length function William J. Bowman 2016-01-19 11:10:58 -0500
  • b0a5f3fc09
         Removed outdated comments William J. Bowman 2016-01-19 11:09:09 -0500
  • 4ef32ff3fa
         Fixed bug in docs William J. Bowman 2016-01-19 11:07:57 -0500
  • bf987cdb06
         Better surface syntax. Closes #34 William J. Bowman 2016-01-15 16:30:57 -0500
  • ed57d034dc
         Updated documentation simple-sugar William J. Bowman 2016-01-18 14:03:42 -0500
  • c3f5719b30
         Removed implementation of case & case* William J. Bowman 2016-01-18 14:03:33 -0500
  • 2fcba80950
         Fixed use of case*, added TODO about things William J. Bowman 2016-01-18 12:10:13 -0500
  • 04619e1f0b
         Removed case and case* exports William J. Bowman 2016-01-18 11:52:01 -0500
  • 174e4560d1
         All tests pass! Sugar simplified William J. Bowman 2016-01-18 11:48:51 -0500
  • d48a5a0647
         Advanced match! William J. Bowman 2016-01-18 00:22:28 -0500
  • b52dca0114
         [Buggy] Partially fixed match on type familes. William J. Bowman 2016-01-17 17:31:33 -0500
  • 09f47481ab
         Fixing redex-lang to aid in debugging William J. Bowman 2016-01-17 17:28:57 -0500
  • ceb2a1aefc
         [Untested] Fixed advanced version of match. William J. Bowman 2016-01-15 18:29:10 -0500
  • 6820c07cd1
         [Broken?] Advanced match William J. Bowman 2016-01-15 16:32:25 -0500
  • 8d46cbf206
         Converted cur-lib to simpler sugar William J. Bowman 2016-01-15 17:12:39 -0500
  • df741faa83
         Simplifying the syntax sugar William J. Bowman 2016-01-15 16:30:57 -0500
  • e162ef3acc
         Documented list library William J. Bowman 2016-01-13 21:14:54 -0500
  • 8c149fcef2
         Fixed inductive elimination. Closes #33 William J. Bowman 2016-01-13 20:41:13 -0500
  • fd2c5647b4
         Pulled list tests out into cur-test issue-33 William J. Bowman 2016-01-13 20:59:22 -0500
  • a570889b4d
         Fixed inductive elimination William J. Bowman 2016-01-13 20:41:13 -0500
  • 0596e4a0f6
         [FAILING] Implemented list; found bug in elim William J. Bowman 2016-01-13 14:48:51 -0500
  • 302d8014fa
         Added TODO; Δ depends on order, but dict unordered hybrid-core William J. Bowman 2016-01-11 19:25:31 -0500
  • 97a11ea253
         Ported redex-core tests to hybrid-core & tested William J. Bowman 2016-01-11 19:04:36 -0500
  • b318617f0e
         Set hybrid-core to default; converted Δ to dict William J. Bowman 2016-01-11 04:28:58 -0500
  • c99b44bc09
         Removed tests from hybrid-core William J. Bowman 2016-01-10 20:03:51 -0500
  • 23d0cf3e6f
         bla William J. Bowman 2016-01-10 20:02:12 -0500
  • c8f9f1c867
         Added a TODO William J. Bowman 2016-01-09 14:13:03 -0500
  • 0fd59566da
         Started hybrid core William J. Bowman 2016-01-09 14:05:03 -0500
  • ebdb419dd7
         Changed oll to olly William J. Bowman 2016-01-11 15:46:55 -0500
  • 792d37252f
         Split and reorganized package. Closes #14 William J. Bowman 2016-01-09 15:27:27 -0500
  • 8ff9ec53c7
         Fixed missing imports in tests package-split William J. Bowman 2016-01-10 19:07:48 -0500
  • 93b6495d69
         Add cur meta-package; tweaked descrip. of cur-lib William J. Bowman 2016-01-10 18:52:35 -0500
  • 0a1a14b850
         Updated README William J. Bowman 2016-01-10 18:47:03 -0500
  • f8b19801fd
         Moved stlc to tests William J. Bowman 2016-01-10 18:40:38 -0500
  • 97ddf170b2
         Finished moving tests to cur-test William J. Bowman 2016-01-10 18:34:03 -0500
  • 3f9f557f99
         Moved tactic tests from cur-lib to cur-test William J. Bowman 2016-01-09 23:27:16 -0500
  • 1da46b9c31
         Moved more from cur-lib tests to cur-test William J. Bowman 2016-01-09 22:06:21 -0500
  • 44ca0ed4ea
         Fixed some broken paths William J. Bowman 2016-01-09 19:49:38 -0500
  • ea3dd97265
         [UNTESTED] Splitting and reorganizing packages William J. Bowman 2016-01-09 15:27:27 -0500
  • 647229a577
         'Fixed' some documentation issues caused #31 William J. Bowman 2016-01-09 14:37:20 -0500
  • 35f12827fe
         More namespace hacks for REPLs William J. Bowman 2016-01-09 04:24:57 -0500
  • dbc3b057dc
         Fixed typo in docs William J. Bowman 2016-01-09 04:24:41 -0500
  • 8eb512ebcc
         Documented new nat functions William J. Bowman 2016-01-09 04:24:25 -0500
  • 1b01c48df5
         Disabled some tests as they take took long to run William J. Bowman 2016-01-09 04:24:05 -0500
  • e03cbfc1e4
         Added match documentation William J. Bowman 2016-01-09 04:23:43 -0500
  • 61e99c8a2e
         Improvements to match; replacing uses of case William J. Bowman 2016-01-09 00:24:23 -0500
  • 7b10648eb9
         Added optional arg to type-infer/syn for local env William J. Bowman 2016-01-09 00:20:37 -0500
  • 63bbb50752
         Exported new nat functions William J. Bowman 2016-01-08 22:59:53 -0500
  • 691b01e15a
         Added mult, exp; square via staging William J. Bowman 2016-01-08 22:54:31 -0500