A small language with GC, LWP's, and inferred types - View it on GitHub