Well written! I learned stuff. Dependent types was new on me. Cheers.

		scrubs 75 days ago \| parent \| context \| favorite \| on: Dependent types and how to get rid of them Well written! I learned stuff. Dependent types was new on me. Cheers.