alf » from archive
RT @edwinbrady: We're having another #idris hackfest soon, this time in Gothenburg. Come and join the fun! https://github.com/idris-lang/Idris-dev/wiki/Idris-Developers...