mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(gs/emacs): Disable idris temporarily

Browse source 
This doesn't work right now, and I'm not currently writing any idris

Change-Id: I7c090ad9f05c5d24f4f80fdd444e8995629aaba4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/3641
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
This commit is contained in:
Griffin Smith 2021-09-23 09:45:35 -04:00 committed by grfn
parent f762711b81
commit f746020d58
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
users/grfn/emacs.d/init.el
View file

@ -101,7 +101,7 @@
;; (haskell +intero) ; a language that's lazier than I am
haskell ; a language that's lazier than I am
;;hy ; readability of scheme w/ speed of python
idris ;
;; idris ;
;;(java +meghanada) ; the poster child for carpal tunnel syndrome
javascript ; all(hope(abandon(ye(who(enter(here))))))
julia ; a better, faster MATLAB