iridium in joaomilho/awesome-idris

xmonad with the X11 abstracted and configured with Idris

created at July 1, 2014, 2:39 a.m.

18 +0

205 +1

9 +0

eta-android in sfischer13/awesome-eta

Quick example of Eta on Android

created at May 21, 2017, 12:08 p.m.

7 +0

24 +0

0 +0