These are chat archives for got-lambda/expression

2nd
Aug 2015
Jean-Louis Giordano
@Jell
Aug 02 2015 07:50
@magthe the github page is pretty good: https://github.com/bhauman/lein-figwheel
Magnus Therning
@magthe
Aug 02 2015 09:04
Ah, it's a plugin for lein.
Víctor López Juan
@vlopezj
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.