search

amuletml / amulet

An ML-like functional programming language
https://amulet.works/
BSD 3-Clause "New" or "Revised" License
324 stars 14 forks source link

Constructors are in scope in their own types #260

Closed plt-amy closed 4 years ago

plt-amy commented 4 years ago 
type t 'a = T : t T