Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but generally I'd keep this alive!
Primary LanguageIdrisOtherNOASSERTION