search

mukul-rathi / bolt

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

Pretty print the AST with type annotations #21

Closed mukul-rathi closed 4 years ago

mukul-rathi commented 4 years ago

Similar to PPrint_past.ml, only it would print the AST after type-checking.