These are chat archives for got-lambda/expression

26th
Aug 2015
Víctor López Juan
@vlopezj
Aug 26 2015 09:22
@Jell oct 1st sounds good
Víctor López Juan
@vlopezj
Aug 26 2015 09:45
"Guaranteed-correct programs using dependent types" could be a title
Jean-Louis Giordano
@Jell
Aug 26 2015 10:56
:) guaranteed or proven?
Víctor López Juan
@vlopezj
Aug 26 2015 11:59
proven is better, but I don't want to scare people :P
Jean-Louis Giordano
@Jell
Aug 26 2015 13:31
:D
Suvash Thapaliya
@suvash
Aug 26 2015 19:47
\o/