Hi!
Thank you for the Goblins idea, but that's not really what I have in mind.
What I did in Racket was a formalisation of two smart contract core
languages, to be able to see the execution step-by-step.
What I had in mind was something like a git where I could publish my work
for case study purp
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 recen
2 matches
Mail list logo
