Add surface syntax for dependent pairs

google-research / dex-lang

Research language for array processing in the Haskell/ML family

BSD 3-Clause "New" or "Revised" License

1.58k stars 107 forks source link

Add surface syntax for dependent pairs #1126

Closed axch closed 2 years ago

axch commented 2 years ago

Fixes #966.

Co-authored-by: Dougal Maclaurin dougalm@google.com

axch commented 2 years ago

Also added a test the involves going through a case, and printing out a dependent pair. Added a clause for dependent pairs to Serialize.hs to make them print more nicely than the default.