These are chat archives for got-lambda/expression

Aug 2015
Jean-Louis Giordano
Aug 02 2015 07:50
@magthe the github page is pretty good:
Magnus Therning
Aug 02 2015 09:04
Ah, it's a plugin for lein.
Víctor López Juan
Aug 02 2015 11:23
@Jell @suvash my plan is to introduce very simple dependent types (booleans, natural numbers, arrays of natural numbers; minimal to no polymorphism), implement a couple functions of them, and show how to write unit tests and properties using dependent types so that the compiler can verify them.
Everything live coded, of course :) . I don't know if I will use Idris or Agda, but they are quite similar at this level.