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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/506a256c-c6da-41dc-8e3a-5eb0ffd8d4d2n%40googlegroups.com.
