Hyper-literate programming is to literate programming exactly what hypertext documents are to regular books and texts.
1afd6c802a
This adds a new back-end pipeline for generating pdf to
scribble, with the hope that included picts (e.g., those
generated by Redex) will look better when viewed with
on-screen pdf viewers
Current problem: the descent adjustment is messed up,
as can be seen by this example program's output:
#lang scribble/base
@(require redex/pict
pict
redex/reduction-semantics)
@title{}
@(define-language L
(e ::= (e e) x (λ (x) e)))
@(render-language L)
ff@(text "f" '(italic . roman) 20)ff
x@(text "x")y@(text "y")
original commit: 5280395f8802d21764ef074540421441cb8ac999
|
||
|---|---|---|
| pkgs/scribble-pkgs | ||