William J. Bowman
6e27c1fc39
Tweaks dependencies
2015-09-24 16:58:36 -04:00
William J. Bowman
008f4451f7
Tests seem to be passing.
2015-09-24 16:56:22 -04:00
William J. Bowman
3e5af72334
Started converting to Redex + binding
2015-09-24 14:41:01 -04:00
William J. Bowman
4bb6dc3c71
Tweaks to README
2015-09-23 21:41:04 -04:00
William J. Bowman
fa9389ee7f
Hacks to make cur work in the REPL
...
Look I don't want to talk about it, but now you can use Cur in DrRacket.
Closes #18
2015-09-23 21:35:27 -04:00
William J. Bowman
ac081577a0
Fixed scribbled inline TODOs
2015-09-23 18:11:08 -04:00
William J. Bowman
d2642b1c38
Fixed typo
2015-09-23 18:08:15 -04:00
William J. Bowman
edea1909ec
Documented the OLL
2015-09-23 17:58:54 -04:00
William J. Bowman
c68d0ae97a
Added a few examples to tactic docs
2015-09-23 16:40:23 -04:00
William J. Bowman
9055662a5d
Exported some convenience features
2015-09-23 16:22:05 -04:00
William J. Bowman
a4ca0c5671
Documentation for tactics complete
2015-09-23 16:20:37 -04:00
William J. Bowman
aa4b0ccf82
Started documenting the tactics library
2015-09-23 00:11:21 -04:00
William J. Bowman
c5eb2ff2af
Add more boolean stuff
2015-09-22 23:32:57 -04:00
William J. Bowman
fae24ab496
Styles tweaks
...
* Types now start with a Capital letter, because.
* Boolean expression no longer start with the letter b.
2015-09-22 23:32:02 -04:00
William J. Bowman
d177577ac9
Fixed TODO thing
2015-09-22 23:30:00 -04:00
William J. Bowman
31f4673477
Added missing scribble aux defs
2015-09-22 23:25:33 -04:00
William J. Bowman
e4bf99c277
Syntax parse for better error messages
2015-09-22 22:59:07 -04:00
William J. Bowman
eeb2b9182a
Updated README
2015-09-22 18:55:14 -04:00
William J. Bowman
bfc72d8fd3
Documented reflection features
2015-09-22 18:18:26 -04:00
William J. Bowman
41b40fea2b
Commented out things that cause package to fail
...
Lots of tests and examples cause the package to fail to build. These
have been commented out until they can be fixed.
2015-09-22 15:32:54 -04:00
William J. Bowman
a3094b55bb
Fixed top
2015-09-22 15:32:45 -04:00
William J. Bowman
722ac7d68f
Added missing dependency
2015-09-22 15:30:00 -04:00
William J. Bowman
f73f4a2c98
Finished documenting curnel forms
2015-09-22 15:29:49 -04:00
William J. Bowman
8681282ef9
Added top-interactive support/fixed top-level eval
...
Also fixed some random stylistic things
2015-09-22 14:06:03 -04:00
William J. Bowman
0f5026aee0
Fixed typo
2015-09-16 19:54:16 -04:00
William J. Bowman
a9e042967e
More work on docs
2015-09-16 19:54:06 -04:00
William J. Bowman
a787f974da
Starting scribbling
2015-09-16 16:05:29 -04:00
William J. Bowman
56abd36a65
Added disclaimer
2015-09-16 12:44:56 -04:00
William J. Bowman
3b5aafdf69
Updated install instructions
2015-09-16 12:41:54 -04:00
William J. Bowman
1e3994d388
Added redex-lib dep and install instructions
2015-09-16 12:37:47 -04:00
William J. Bowman
740aaee756
cur is now a pkg and a #lang
...
These features are currently undocumented.
2015-09-16 12:25:22 -04:00
William J. Bowman
34dd749be0
Updates to the README
2015-09-15 19:00:00 -04:00
William J. Bowman
2796cba6fb
Moved all examples to own sub-directory
2015-09-15 18:58:32 -04:00
William J. Bowman
23c1b56065
Knocked off a bunch of TODOs
...
* Removed some TODOs that were already completed
* Added cur-match, to abstract the common (syntax-parse (cur-expand syn) ...)
pattern
2015-09-15 18:53:53 -04:00
William J. Bowman
3ce14c3871
Refactored core
...
Moved all curnel code into curnel/, and split the two kernel modules
into separate files. Now the trusted core and the module/#lang stuff are
in separate files. The #lang is now reprovided by "cur.rkt", which
should also provide core agnostic sugar.
2015-09-15 18:02:36 -04:00
William J. Bowman
a29940ec69
Cleaned up typeclass code a little
2015-09-15 17:20:37 -04:00
William J. Bowman
5fec16125d
Updated LICENSE to BSD 2-clause
2015-09-15 16:12:15 -04:00
William J. Bowman
31603bf109
Cleaned up tactic base system
...
* Various style fixes
* Standardize the proof state interface/naming a little.
* Reorganized base.rkt; now easier to read
* Fixed some mismatch code/documentation
* Renamed "basic" to "standard"; basic was too close to base, and not
really helpful.
2015-09-15 16:02:53 -04:00
William J. Bowman
13d3016c85
Fixed order in which tactic scripts are printed
2015-09-13 18:57:01 -04:00
William J. Bowman
1bb886cfbb
Introduced Sartactics!
...
* Added the Sartactics library, provides a sassy wrapper around the basic
tactics.
* Added prefix-in, although it probably only works for macros
* Better syntax for define-tactic
2015-09-11 17:20:53 -04:00
William J. Bowman
f2278696b5
Refactored tactics
...
Refactored tactics and corrected several bugs with how tactics, modules, and environments play together.
2015-09-11 15:11:06 -04:00
William J. Bowman
d1c9b4d21c
Interactive tactics work, and more!
...
* Completed interactive tactics, and removed uses of eval.
* Fixed bug in intros
* Added forget tactic (untested).
2015-09-11 11:43:22 -04:00
William J. Bowman
678607afa0
Working on interactive tactic
...
Currently, due to multiple uses of eval, can't get this to work. Need to
redesign/reorganize tactics
2015-09-10 19:24:32 -04:00
William J. Bowman
2609cf0b08
Cleaned up tactic code, added new tactics
2015-09-10 14:03:58 -04:00
William J. Bowman
f90ce34d53
Removed CIC from README
2015-09-09 18:53:35 -04:00
William J. Bowman
e40f0f0a7c
Merge branch 'tactics'
2015-09-09 18:50:29 -04:00
William J. Bowman
9265431475
Tactics complete! after many hacks
2015-09-09 18:50:11 -04:00
William J. Bowman
07c36c9c2d
Type classes are easy
2015-09-09 17:54:44 -04:00
William J. Bowman
32c824ca30
More work on tactics, TODOs added to curnel
2015-08-27 18:29:58 -04:00
William J. Bowman
3d441907f5
Started on design of tactic system for Cur
2015-08-20 18:10:57 -04:00
