Re: [racket-users] Pattern Matching

On 9/28/2020 10:50 AM, Beatriz Moreira wrote: Hello, I would like to know how do I match multiple variables to a regular expression. My idea is to match every *f* variables (f...) to an *f* in ((contract C ((T x) ...) ((T f)) ...) ... ). I am trying to implement a core language for smart contr

[racket-users] Spritely website launches (plus, Goblins + networked programming)

Hello all, First of all, Spritely's website has finally launched: https://spritelyproject.org/ If you're wondering what on earth I've been doing, and where all my work is going, this is a good explaination as any. There's also a video you can see on that page that I gave for a presentation fo

[racket-users] Pattern Matching

Hello, I would like to know how do I match multiple variables to a regular expression. My idea is to match every *f* variables (f...) to an *f* in ((contract C ((T x) ...) ((T f)) ...) ... ). I am trying to implement a core language for smart contracts in Racket, but I need to have as pre condit