tadeuzagallo / verve-lang

A functional language for the working hacker
https://verve-lang.org
MIT License
346 stars 7 forks source link

Add record-like type definitions #12

Closed tadeuzagallo closed 7 years ago

tadeuzagallo commented 8 years ago
type Tree<N> = Nil() || Node{
  value: N,
  left: Tree<N>,
  right: Tree<N>,
}