📖 add better record syntax, improve pretty printing

RedPRL / cooltt

😎TT

http://www.redprl.org/

Apache License 2.0

217 stars 16 forks source link

📖 add better record syntax, improve pretty printing #380

Closed jonsterling closed 2 years ago

jonsterling commented 2 years ago

I got tired of the unwieldy notation for signatures and structures... But I ran out of steam before I could update the pretty printer. Can someone please take over this PR? @TOTBWF ?

[x] update the parser and tests
[x] update the pretty printer

jonsterling commented 2 years ago

Going to rebase this against main now.

jonsterling commented 2 years ago

I'd like to get this merged today, can we have a look and see if it is OK?