Ben Greenman
e4cc578b5e
[rebuttal] printf in other languages
2016-06-27 15:59:59 -04:00
Ben Greenman
5cd1971004
[rebuttal] clarify technique / library
2016-06-27 15:59:59 -04:00
Ben Greenman
c1c0f157fe
[rebuttal] fix evaluator typo
2016-06-27 15:59:59 -04:00
Ben Greenman
272d1ad1ff
[rebuttal] fix inconsistent capitalization
2016-06-27 15:59:58 -04:00
Ben Greenman
8264cab37b
[rebuttal] add reviews
2016-06-27 15:59:58 -04:00
Benjamin Greenman
8ec7a50bae
Merge pull request #30 from btlachance/fix-readme-path
...
Give correct path for installing from git clone
2016-06-20 10:26:14 -04:00
Brian Lachance
a30f05400a
Give correct path for installing from git clone
...
The top-level of the repository is not the desired package. The
subdirectory with the same name is, though.
2016-06-19 21:39:19 -04:00
Ben Greenman
31ee1c8941
** nb: hard to do type-directed elaborations
2016-05-22 18:52:53 -04:00
Ben Greenman
4ab5ce5c95
[list] typo in list lib
2016-05-18 17:22:22 -04:00
Ben Greenman
50c98645ca
[list] docs, and hide map: for now
2016-05-02 22:40:44 -04:00
Ben Greenman
f2c6c1e1c0
[list] some tests
2016-05-02 22:13:37 -04:00
Ben Greenman
316ab9cf32
[list] implemented some functions, need tests
2016-05-01 21:01:20 -04:00
Ben Greenman
d2dd015415
** link docs in README
2016-04-24 15:43:15 -04:00
ben
309767c12f
[scrbl] use deftogether
...
(Thanks J. Hemann)
2016-04-04 13:59:46 -04:00
ben
a9a7298ec2
[icfp] remove some quoting, prettier but now text is inconsistent
2016-04-01 06:21:59 -04:00
ben
458f434099
[icfp] fix query examples formatting
2016-03-24 15:08:32 -04:00
ben
3983c2e630
[icfp] rename 'paper' to 'pearl'
2016-03-24 15:08:20 -04:00
ben
2ea7220f8c
** lol, don't need the special info
2016-03-23 14:06:06 -04:00
ben
de518d458b
** info.rkt ignoring extra dirs
...
This git repo has 2 folders that should be ignored by `raco setup` and
`raco pkg install`.
The new top-level `info.rkt` tells Racket to ignore them via:
- `setup-collects` = `raco setup` should only compile these folders
- `compile-omit-paths` = `raco pkg install` should ignore these folders
2016-03-23 13:30:20 -04:00
ben
f54232c25c
** try adding toplevel info.rkt
2016-03-23 11:59:26 -04:00
ben
ec30184808
[icfp] purge readme
2016-03-20 15:27:14 -04:00
ben
9d617044ec
** bump version number
2016-03-20 15:25:46 -04:00
ben
5787e27d60
[regexp] follow spec for starred groups and alternates
2016-03-20 15:19:20 -04:00
ben
4faad17905
[regexp] follow return type spec a little better
2016-03-20 13:01:01 -04:00
ben
cd4fb63945
** subfolder readmes
2016-03-20 11:53:09 -04:00
ben
34176f6dcf
[scribblings] update with new applications
2016-03-20 11:36:37 -04:00
ben
407376a6fa
[icfp] typos, redundancy
2016-03-20 10:59:48 -04:00
ben
688a3c16c3
** update README
2016-03-20 00:30:59 -04:00
ben
011ca1771c
[format] add define form
2016-03-20 00:26:47 -04:00
ben
f7dff260bc
[icfp] updated benchmark data
2016-03-20 00:08:15 -04:00
ben
7e0064d7ba
[icfp] some example code
2016-03-20 00:06:07 -04:00
ben
51260412e3
** travis: specify tests
2016-03-19 23:50:45 -04:00
ben
d82c256cf7
[function] really working
2016-03-19 23:44:00 -04:00
ben
23d776fd7c
[test] more function/curry tests
2016-03-19 23:43:50 -04:00
ben
5cdcba0a5c
[test] redirect function=fail output, to hide it
2016-03-19 23:38:07 -04:00
ben
82cee4b93a
** move package to submodule
2016-03-19 22:52:28 -04:00
ben
518516cbf7
[function] following the protocol now
2016-03-19 09:18:21 -04:00
ben
a508db7a73
[function] fixedd curry
2016-03-19 08:47:49 -04:00
ben
a5f44b69d1
[icfp] other nice things
2016-03-16 10:58:58 -04:00
ben
2d6b11486b
[icfp] add subject to a little phrase
2016-03-16 10:34:52 -04:00
ben
764bb66365
[icfp] p? -> f, because ?functions always return #t or #f
2016-03-16 10:27:24 -04:00
ben
c32c1a3be9
[icfp] remove old elabbo names
2016-03-16 10:26:32 -04:00
ben
1e8e800f25
[icfp] typo: double-period
2016-03-16 10:26:14 -04:00
ben
d8ce72111f
[icfp] commented note on code
2016-03-16 08:35:39 -04:00
ben
bc4753c502
[icfp] clean up SQL/sql
2016-03-16 08:31:40 -04:00
ben
f14387469a
[icfp] all prettier
2016-03-16 08:22:17 -04:00
ben
a425fa840f
[icfp] a pretty section 2
2016-03-16 06:15:20 -04:00
ben
0a84ae4c62
[icfp] a pretty first page
2016-03-16 05:45:47 -04:00
ben
d19a307665
[icfp] re-add herman/meunier
2016-03-16 05:27:36 -04:00
ben
a3ece184bc
[icfp] a happy ending
2016-03-16 05:08:55 -04:00
