1
0
Fork 0
continuations/Makefile
Continuum Constantinus 99017554d5 Let there be light.
We illustrate how continuations are essential to web programming and
how applications on top of web servers are much harder to write due to
the stateless nature of HTTP.  Continuations turn web programs as easy
to write as desktop applications.
2025-02-05 08:50:21 -03:00

17 lines
509 B
Makefile

SHELL=/bin/sh
default: \
continuations.rkt continuations.pdf
livedoc:
echo continuations.nw | python peat -C 'make continuations.pdf'
continuations.tex: continuations.nw
any weave -delay -index continuations.nw > continuations.tex
continuations.pdf: continuations.tex
latexmk -pdf continuations.tex && pgrep mupdf && kill -HUP $$(pgrep mupdf)
continuations.rkt: continuations.nw
(any tangle -Rcontinuations.rkt < continuations.nw > continuations.rkt || \
(rm continuations.rkt && exit 1))