SimpleRefinements >> Elements >> Memory
tweak
done with TUFTS slides
asda Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
tweak
ascii art!
tweak
kicking linspace with a few 'dynamic' checks
adding buggy linspace that throws gruesome crash
adding Variance
parsing variance
Types for Variance Info
handling Variance Info
handling Variance Info
moving around linspace
adding the test
another test
removing class parameter from RType
more tests
more tests