3 ms·

Idris doesn't have anonymous sum types, nor does Coq or Lean. Which language were you thinking of?

• phillipcarter 7y ago
  Ceylon comes to mind; haven't googled others.