update idris module to new format

also add witty comment
2020-10-06 13:53:32 +03:00 · 2020-10-06 13:53:32 +03:00 · 558277f523
commit 558277f523
parent 29b12de83e
2 changed files with 30 additions and 3 deletions
--- a/init.example.el
+++ b/init.example.el
@ -130,7 +130,7 @@
       ;;(go +lsp)         ; the hipster dialect
       ;;(haskell +dante)  ; a language that's lazier than I am
       ;;hy                ; readability of scheme w/ speed of python
-       ;;idris             ;
+       ;;idris             ; a language you can depend on
       ;;json              ; At least it ain't XML
       ;;(java +meghanada) ; the poster child for carpal tunnel syndrome
       ;;javascript        ; all(hope(abandon(ye(who(enter(here))))))