search

mukul-rathi / bolt

Bolt is a language with in-built data-race freedom!
MIT License
553 stars 53 forks source link

Translate Encore Programs into Bolt #9

Closed mukul-rathi closed 4 years ago

mukul-rathi commented 4 years ago

not comparing encore - comparing kappa directly