A type system for RCL, part 2: The type system

submitted by /u/ruuda
[link] [comments]