From 20237b4ce514ac45a9a01d5ca7130984dec0ff30 Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Sun, 29 Dec 2013 01:32:07 +0200 Subject: [PATCH] add tutorial on liquidHaskell --- source/about/index.markdown | 1 + 1 file changed, 1 insertion(+) diff --git a/source/about/index.markdown b/source/about/index.markdown index 8836d996b69..27c87c3935e 100644 --- a/source/about/index.markdown +++ b/source/about/index.markdown @@ -61,6 +61,7 @@ Talks The following talks are good tutorial introductions to the techniques. +- [Tutorial on LiquidHaskell](http://goto.ucsd.edu/~nvazou/liquidtutorial/index.html) - [Tutorial at VMCAI](http://goto.ucsd.edu/~rjhala/talks/liquid_types_VMCAI.pptx) - [Tutorial at CAV](http://goto.ucsd.edu/~rjhala/talks/liquid_types_CAV2011.pptx)