lsts 0.5.12

Large Scale Type Systems
Documentation