C coalton-lang.github.io Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp 167 points reikonomusha 5 years ago 30 comments