Spencer Florence
Spencer Florence
While installing Cur I got the following warnings from scribble: ``` raco setup: 0 running: /cur-doc/cur/cur.scrbl WARNING: collected information for key multiple times: '(index-entry (mod-path "cur")); values: (list '("cur") (list...
`djp` inserts the text without new lines.
The examples at https://github.com/racket/racket/blob/master/pkgs/racket-doc/scribblings/reference/hashes.scrbl#L596 make hash tables like: `(make-immutable-hash '([1 . (one uno)] [2 . (two dos)]))` however the documentation renders this as: ``` (make-immutable-hash '([1 one uno] [2 two...
See https://github.com/florence/cover/issues/91 Roughly the issue is that chunks in `scribble/lp` don't get registered as run by `cover`. Perhaps the issue is that the code that gets run has had its...
Concider: ``` #lang racket (require redex/reduction-semantics) (define-language L) (define r (reduction-relation L #:domain 1 (--> any any))) (generate-term #:source r 5) ``` This will generate things like, say strings, which...
The program ``` #lang racket (require redex/reduction-semantics) (define-language L (v ::= GO WAIT x) (x ::= variable-not-otherwise-mentioned)) (define-extended-language L+ L (x ::= (variable-not-in WAIT))) (redex-match? L+ x (term GO)) ```...
In the program ``` #lang racket (require redex/reduction-semantics) (define-language L (n ::= 1)) (redex-check L n n) ``` I get the error `n: unbound identifier` pointing at what should be...
This PR adds a new redex library that integrates better with rackunit. It's still very much a WIPthe purpose of this PR 1) get feedback on other ways to integration...
The program: ``` #lang racket (require redex/reduction-semantics) (define-language esterel-check (p ::= nothing (ρ θ p)) (θ ::= · (S θ))) (redex-check esterel-check (cross p) (displayln "running") #:attempts 100) ``` Never...