lsts 0.5.6

Large Scale Type Systems
Documentation