43f0093480
WIP: Koka
...
This reverts commit d5b1459410
2020-08-23 17:12:38 -06:00
d5b1459410
Remove support for Koka
...
Unfortunately, it is unusable due to excessive memory consumption. See
https://github.com/koka-lang/koka/issues/34 .
This reverts commit 72c99b00c6
2020-08-23 17:11:24 -06:00
72c99b00c6
New language: Koka
2020-08-23 13:28:00 -06:00
deb2c9b320
Workaround really obnoxious APT bug
2020-08-22 12:07:15 -06:00
2d649ab017
The edge of glory (rolling-release ~everything~)
2020-07-31 19:30:08 -06:00
ad75ab04f7
Formatters for C, C++, C#, Java, D
2020-07-19 19:12:50 -06:00
7716ea6af8
New language: Haxe
2020-07-19 17:27:33 -06:00
2987af3c33
New language: Hack
2020-07-19 17:27:33 -06:00
5d85e2036d
New language: LLVM
2020-07-11 11:39:52 -06:00
b3fb71f501
LSP working for Erlang
2020-07-08 19:59:20 -06:00
91fe6ffd65
Drop privileges to respective uid
2020-06-22 20:46:42 -06:00
b3430a2f2c
Disable host key checking, upgrade Stack
...
For some reason Ubuntu ships a super old version which doesn't even
work because of a bug that was fixed a long time ago?? Thanks guys...
2020-06-11 10:45:43 -06:00
b4636c46ae
Split docker-install.bash into many layers
...
I've been running into trouble where something will fail inscrutably
in docker-install.bash or when pushing a large layer or something else
of that nature, and those errors really suck when it's just one big
layer. This should aid development and deployment both.
2020-06-10 17:35:08 -06:00
Radon Rosborough