Dette er fantastisk – Brandon fikk det nettopp til å skje!! Jeg skulle virkelig ønske jeg skulle sett flere rene abstraksjoner implementert og deres formelle verifiseringsmotstykker – det fører til bedre sikkerhet og til og med bare klarhet Hvis du er nysgjerrig på dette eller jobber med det, ta gjerne kontakt med meg :)