<div dir="ltr">Hello,<div><br></div><div>Apart from <a href="http://www.cs.utah.edu/plt/publications/icfp09-fbf.pdf">http://www.cs.utah.edu/plt/publications/icfp09-fbf.pdf</a></div><div>are there other (conference or journal) papers written using Scribble,</div>
<div>with the .scrbl source available?<br></div><div><br></div><div style>I am particularly interested in examples which also use Redex.</div><div style><br></div><div style>Thanks. Cheers,</div><div style>~n</div></div>