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
|
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
|
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
|
bfc72d8fd3
|
Documented reflection features
|
2015-09-22 18:18:26 -04:00 |
|
William J. Bowman
|
f73f4a2c98
|
Finished documenting curnel forms
|
2015-09-22 15:29:49 -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
|
740aaee756
|
cur is now a pkg and a #lang
These features are currently undocumented.
|
2015-09-16 12:25:22 -04:00 |
|