These are chat archives for got-lambda/expression

20th
May 2016
Magnus Therning
@magthe
May 20 2016 07:18
hej jensli
magthe @magthe kommunicerar också över IRC
Marco Zocca
@ocramz
May 20 2016 18:36
@Jell , @suvash , we should invite at the meetup someone from Patrik Jansson's group , they work in provably-correct programming (with Agda) : http://www.cse.chalmers.se/~patrikj/papers/LibTrust_VR_2016_Jansson.pdf