search

isovector / dynahaskell

the dynabook but for haskell
BSD 3-Clause "New" or "Revised" License
23 stars 2 forks source link

Can I get around ppr? #2

Open isovector opened 5 years ago

isovector commented 5 years ago

Right now typechecking is done by printing out the AST, and then parsing it, and then typechecking that. But why not just typecheck the ast we have?