ben
04835b5339
[6.4] move package to toplevel
...
Because pkgs.racket-lang doesn't seem to accept paths like
.../repo.git#branch?tag
So I'm trying to remove the ?tag
2016-04-09 09:39:33 -04:00
ben
7ef8e90a41
[scrbl] use deftogether
...
(Thanks J. Hemann)
2016-04-04 18:00:45 -04:00
ben
5a1cba842c
[icfp] remove some quoting, prettier but now text is inconsistent
2016-04-01 06:21:03 -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
ben
b50773ee46
[icfp] impl part II, again
2016-03-16 04:32:26 -04:00
ben
0250b7b109
[icfp] size of elab fucntions
2016-03-16 02:14:03 -04:00
ben
56cf0b3ffc
[icfp] experience, the new title
2016-03-16 02:13:44 -04:00
ben
75322ac7a8
[icfp] slightly more positive experience
2016-03-16 01:33:41 -04:00
ben
22583f7983
[icfp] remove 'free printing' comment
2016-03-16 01:03:52 -04:00
ben
d9d8b3e13e
[icfp] add more examples to sec 2
2016-03-16 00:45:59 -04:00
ben
ace737422c
[icfp] move SQL/postgres alias to the end
2016-03-16 00:25:45 -04:00
ben
a141456b52
[icfp] explain tagging, kinda formally
2016-03-16 00:25:25 -04:00
ben
1686bc310d
[icfp] experience draft
2016-03-15 22:35:21 -04:00
ben
d9b5fbb897
[icfp] bleh, usage draft again
2016-03-15 22:23:26 -04:00
ben
f5e514f257
[icfp] vector-sizes
2016-03-15 21:05:23 -04:00
ben
a5d63661a6
[icfp] anon. functions done
2016-03-15 19:10:40 -04:00
