**Creative Racket Competition 2022**
January 1, 2022 → February 28, 2022
***Get creative with Racket this winter! Win stickers!***
Entries can be... pictures, animations, interactive, sound or music or
something else? ...are all acceptable.
* You can enter as many times as you like
* Entries n
The no context email left me trying to decrypt the hidden meaning 😂 . Thought I
was being phished for a second.
Here is from discourse:
“”“
spdegabrielle: [baseball-cap by Justin Zamora] Made with Racket by @JustinZed
“””
>
>
>
> Image credit at
> https://racket.discourse.group/t/baseball
Hi to everyone!,
I'm trying to test the mechanization of Redex's semantics done in [1],
against the present version of racket, 8.3. I'm using the random-match-test.rkt
module from [1] to generate random grammars, patterns and terms, and to
test them
using the proposed mechanization of Redex in [
Just to clarify, I understand that the several binds of x correspond to
the several patterns name in the productions, and the pattern against with
we are matching, but I would have expected for the firsts to be discarded,
or, if still considered in the resulting match for some reason, that I don't
There was a bug in the matcher; I've pushed a fix.
With that fix, you'll get
(list
(match
(list
(bind 'A '(hole (hole hole)))
(bind 'x '(hole (hole hole))
as the result. That's different than the matcher because the pattern `A` is
really shorthand for something like `(name A (nt A))
Wow!, that was fast!
No need to thank, I'm just using your awesome tool to perform random
testing.
Thanks,
Mallku
El martes, 21 de diciembre de 2021 a las 18:22:09 UTC-3, Robby Findler
escribió:
> There was a bug in the matcher; I've pushed a fix.
>
> With that fix, you'll get
>
> (list
> (ma
Hey,
all the simulations for my paper (published in Bio-inspired EAI
International Conference 2016) back then when I was a first year graduate
student are in Racket ! This morning I discover that it has 624 downloads
and counting. I am so proud of my graduate time <3
https://eudl.eu/doi/10.4
I would recommend following the free course on edx: "how to code simple
data" https://learning.edx.org/course/course-v1:UBCx+HtC1x+2T2017/home ,
as it takes many things from the book and presents them in a more
digestible and interactive manner.
On Wednesday, December 15, 2021 at 5:31:47 AM UT
8 matches
Mail list logo