Blog Archive 2014 Pointers Gone Wild May 28 2014 Text Bug Mar 01 2014 Text Write Feb 23 2014 Text Read Feb 16 2014 Text Internals Feb 09 2014 2013 Lexicographic Termination Dec 15 2013 Termination Requires Refinements Dec 14 2013 Checking Termination Dec 09 2013 Getting To the Bottom Dec 02 2013 Getting To the Bottom of The Lies Dec 01 2013 LiquidHaskell Caught Telling Lies! Nov 23 2013 Abstracting Over Refinements Jun 03 2013 Unique Zippers May 10 2013 Talking About Sets Mar 26 2013 Bounding Vectors Mar 04 2013 KMeans Clustering II Feb 17 2013 KMeans Clustering I Feb 16 2013 Safely Catching A List By Its Tail Jan 31 2013 Refinements 101 (contd.) Jan 27 2013 Refinement Types 101 Jan 01 2013