No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
esop-2015
feat
fse-2016
icfp-2015
jfp-2016-7
model
oopsla-2014
popl-2016
presentation
refute
related-papers
results
scife
.gitignore
Makefile
TODO.org
appendix.scrbl
box_pair.png
cite.rkt
combinators.scrbl
conclusion.scrbl
enum-util.rkt
enumeration-semantics.scrbl
evaluation.scrbl
extra-math.tex
fair-combinators.scrbl
fair-enumeration-copyright-transfer-form.pdf
fair-enumeration-jfp-latex.tar.gz
fair-informal.scrbl
find-small-example.rkt
future.scrbl
intro.scrbl
jfp2017-nfmf.pdf
paper.pdf
paper.scrbl
redex-enumeration.scrbl
related.scrbl
supp-README.txt
testing.scrbl
unfair-alternation.rkt
unfair-pairing.rkt
unfairness-hist.rkt
util.rkt