This repository was archived by the owner on Nov 1, 2018. It is now read-only.
lastversionwith-variant-7_2-stuff
Last version with variant 7_2 dealing with strictness annotation
Last version with variant 7_2 dealing with strictness annotation