lambda-mountain
lambda-mountain copied to clipboard
Linear Types
trafficstars
Make a new case for types
(Linear( Box<Type> ))