suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add missing provides

Browse Source
This commit is contained in:
Robby Findler 2013-03-19 13:56:50 -05:00
parent 41e07b0cc6
commit 6c2ea3acbb
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/redex/pict.rkt
View File

@ -14,7 +14,9 @@
'horizontal-left-align
'horizontal))
(provide reduction-rule-style/c render-term term->pict)
(provide reduction-rule-style/c render-term term->pict
term->pict/pretty-write
render-term/pretty-write)
(provide/contract
[render-reduction-relation