More prep for decls-in-binders - Githubissues

google-research / dex-lang

Research language for array processing in the Haskell/ML family

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

1.56k stars 106 forks source link

More prep for decls-in-binders #1317

Closed dougalm closed 1 year ago