Hello! My code is a bit long. I formalised two languages for smart contracts, with a typechecker, so this might not be for me :D but thank you!
A terça-feira, 16 de março de 2021 à(s) 18:22:44 UTC, James Platt escreveu: > > On Mar 15, 2021, at 7:01 PM, Beatriz Moreira wrote: > > > Hello! I recently used Racket as a tool to see the small step execution > of some smart contract languages and I was wondering if there is anywhere i > can submit my work or share it with the Racket community. > > One place might be the Racket Artifacts site. I think it's mainly intended > for short demonstrations of code but, if yours is not too long, that might > be the place. > > https://github.com/racket/racket/wiki/Artifacts > > I am interested in smart contracts, as well, for a possible future > addition to a project I am working on but it will be a while before I get > to that point. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/506a256c-c6da-41dc-8e3a-5eb0ffd8d4d2n%40googlegroups.com.
