+1!
-- Éric
On Jul 26, 2011, at 9:30 PM, Casey Klein wrote:
> On Mon, Jul 25, 2011 at 11:20 PM, David Van Horn <dvanh...@ccs.neu.edu> wrote:
>>
>> Cute! Thanks for the cool planet package. Here's a slightly larger example
>> using Redex, adapted from redex/examples/arithmetic.rkt:
>>
>> #lang planet asumu/sweet racket
>> require rename-in(redex [term quote])
>>
>> define-language lang
>> e n
>> δ1(e)
>> δ2(e e)
>> δ1 √ add1 sub1
>> δ2 + - * /
>> E hole
>> δ1(E)
>> δ2(e E)
>> δ2(E e)
>> n number
>>
>> define v
>> reduction-relation lang
>> { √(n) --> ,sqrt('n) }
>> { add1(n) --> ,add1('n) }
>> { sub1(n) --> ,sub1('n) }
>> { +(n_1 n_2) --> ,+('n_1 'n_2) }
>> { -(n_1 n_2) --> ,-('n_1 'n_2) }
>> { *(n_1 n_2) --> ,*('n_1 'n_2) }
>> { /(n_1 n_2) --> ,/('n_1 'n_2) }
>>
>> define -->_v
>> context-closure v lang E
>>
>> traces -->_v '-(*(√(36) /(1 2)) +(1 2))
>>
>
> If only Redex could typeset in this syntax :)
>
> _________________________________________________
> For list-related administrative tasks:
> http://lists.racket-lang.org/listinfo/users
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
