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

TypeCons can always be projected from, even when they have multiple constructors #1110

Closed apaszke closed 1 year ago