| .. |
|
benchmark
|
[icfp] updated benchmark data
|
2016-03-20 00:08:15 -04:00 |
|
examples
|
[icfp] some example code
|
2016-03-20 00:06:07 -04:00 |
|
src
|
[icfp] micro implementation of vector/length
|
2016-06-27 16:00:00 -04:00 |
|
.gitignore
|
[icfp] rename 'paper' to 'pearl'
|
2016-03-24 15:08:20 -04:00 |
|
bib.rkt
|
[icfp] other nice things
|
2016-03-16 10:58:58 -04:00 |
|
common.rkt
|
[icfp] checkpoint, got applications drafted
|
2016-03-12 21:31:57 -05:00 |
|
conclusion.scrbl
|
[icfp] re-add herman/meunier
|
2016-03-16 05:27:36 -04:00 |
|
dreams.md
|
[icfp] thoughts on contextual equivalence with macros (dont to it)
|
2016-02-26 20:35:48 -05:00 |
|
experience.scrbl
|
[icfp] other nice things
|
2016-03-16 10:58:58 -04:00 |
|
fig-experience.tex
|
[icfp] new figures from albany
|
2016-03-14 23:43:55 -04:00 |
|
fig-staging.tex
|
[icfp] checkpoint: codewalk drafted
|
2016-03-13 17:50:29 -04:00 |
|
fig-stats.tex
|
[function] following the protocol now
|
2016-03-19 09:18:21 -04:00 |
|
fig-stxclass.tex
|
[icfp] clean up SQL/sql
|
2016-03-16 08:31:40 -04:00 |
|
gradual-bib.rkt
|
[icfp] anon. functions done
|
2016-03-15 19:10:40 -04:00 |
|
icfp-reviews.txt
|
[rebuttal] add reviews
|
2016-06-27 15:59:58 -04:00 |
|
implementation.scrbl
|
[rebuttal] propAgate
|
2016-06-27 15:59:59 -04:00 |
|
intro.scrbl
|
[rebuttal] fix footnote typo
|
2016-06-27 15:59:59 -04:00 |
|
Makefile
|
[icfp] rename 'paper' to 'pearl'
|
2016-03-24 15:08:20 -04:00 |
|
mathpartir.sty
|
[icfp] add mathpartir, whatever bro
|
2016-02-26 20:41:17 -05:00 |
|
outline.scrbl
|
[icfp] teaser
|
2016-02-25 19:22:09 -05:00 |
|
pearl.scrbl
|
[icfp] rename 'paper' to 'pearl'
|
2016-03-24 15:08:20 -04:00 |
|
README.md
|
[popl-2017] on your marks
|
2016-06-27 16:00:00 -04:00 |
|
rebuttal.txt
|
[rebuttal] add markdown syntax
|
2016-06-27 16:00:00 -04:00 |
|
related-work.md
|
[icfp] checkpoint, mid-regexp
|
2016-03-15 14:34:20 -04:00 |
|
solution.scrbl
|
[icfp] p? -> f, because ?functions always return #t or #f
|
2016-03-16 10:27:24 -04:00 |
|
teaser.tex
|
[icfp] update teaser, after M.meeting
|
2016-03-01 19:57:16 -05:00 |
|
texstyle.tex
|
[icfp] all prettier
|
2016-03-16 08:22:17 -04:00 |
|
usage.scrbl
|
[rebuttal] remove last of ~a
|
2016-06-27 15:59:59 -04:00 |
