1computer1
|
bab91a0cca
|
meta: remove hpack and local files
|
2020-06-16 21:10:23 -04:00 |
|
1computer1
|
1996ab90ca
|
eval: limit docker output to not run out of memory
|
2020-06-07 03:43:41 -04:00 |
|
1computer1
|
c57a563ea3
|
meta: fix exe name due to bad copy paste
|
2020-06-07 03:35:22 -04:00 |
|
1computer1
|
b97c1a0afb
|
remove useless type
|
2020-06-07 01:52:58 -04:00 |
|
1computer1
|
8080b360c9
|
deps: use Stack LTS 15.15 and update deps
- use GHC 8.8.3
- use Dhall 1.30.0
- relax version bounds greatly
|
2020-06-07 01:47:33 -04:00 |
1Computer1
|
468eff1cfa
|
Add Erlang (#2)
|
2019-10-01 09:35:35 -04:00 |
vzwGrey
|
2fe7b581a7
|
Add image for running erlang scripts
|
2019-10-01 13:18:22 +02:00 |
|
1Computer1
|
56c58cad90
|
Remove languagesDir from config
|
2019-09-05 10:21:22 -04:00 |
|
1Computer1
|
66b125bc80
|
Add default values to the CLI
|
2019-09-05 10:17:20 -04:00 |
|
1Computer1
|
c31b52ce5e
|
Change the CLI to take the languages folder
|
2019-09-05 10:17:08 -04:00 |
|
1Computer1
|
d1b94f6dda
|
Add missing bounds on optparse-applicative
|
2019-09-05 10:05:45 -04:00 |
|
1Computer1
|
c069fcf4cf
|
Update readme
|
2019-09-04 23:56:37 -04:00 |
|
1Computer1
|
4776a89f9a
|
Actually switch to cabal
|
2019-09-04 23:53:57 -04:00 |
|
1Computer1
|
46b60a9944
|
Switch to cabal
|
2019-07-25 00:31:46 -04:00 |
1computer1
|
505fdfaaec
|
Delete config.dhall
|
2019-07-23 01:53:04 -04:00 |
|
1computer1
|
b80d36469e
|
Update gitignore for end user files
|
2019-07-23 01:44:11 -04:00 |
|
1computer1
|
9d3c5ab7b1
|
Enhance logging for starting
|
2019-07-23 01:40:45 -04:00 |
|
1computer1
|
8eb44f2544
|
Separate lib and exe; add languageDir setting
|
2019-07-23 01:24:02 -04:00 |
|
1Computer1
|
abbce96d0a
|
Add Idris
Add docker image for executing Idris
|
2019-07-21 18:59:52 -04:00 |
|
1computer1
|
3b9d4caf2b
|
Fix Julia output
|
2019-07-21 18:58:56 -04:00 |
|
vzwGrey
|
1610e2c15d
|
Alpine latest not stable
|
2019-07-22 00:56:47 +02:00 |
|
vzwGrey
|
806963cf22
|
Use alpine stable
|
2019-07-22 00:55:38 +02:00 |
|
vzwGrey
|
5922160290
|
Add docker image for executing Idris
|
2019-07-22 00:53:23 +02:00 |
|
1computer1
|
8ff2d3f42f
|
Fix Haskell image
|
2019-07-21 18:53:04 -04:00 |
|
1computer1
|
348054a994
|
Restructure project
|
2019-07-18 07:40:29 -04:00 |
|
1computer1
|
176a78b557
|
Clean up code
|
2019-07-12 04:01:18 -04:00 |
|
1computer1
|
08a1f272c6
|
Use MVar over IORef
Prevents race conditions when updating the Maps
|
2019-07-12 02:53:10 -04:00 |
|
1computer1
|
b9ae32c4c0
|
Add logging for new endpoints
|
2019-07-11 02:23:33 -04:00 |
|
1computer1
|
92cb8a6388
|
Add /containers and /cleanup endpoints
|
2019-07-11 02:20:36 -04:00 |
|
1computer1
|
8e246c8851
|
Add CLI and configurable configuration
|
2019-07-11 01:00:41 -04:00 |
|
1computer1
|
07bbc86744
|
Fix typo in readme
|
2019-07-11 00:25:50 -04:00 |
|
1computer1
|
a1b88e24b8
|
Fix port type
|
2019-07-09 08:37:23 -04:00 |
|
1computer1
|
6a53f3891b
|
Prettify readme
|
2019-07-09 05:32:27 -04:00 |
|
1computer1
|
5b1a0ec9a7
|
Remove unused dependencies
|
2019-07-09 05:31:35 -04:00 |
|
1computer1
|
edab8835ad
|
Shorten two lines of code to one
|
2019-07-09 05:25:19 -04:00 |
|
1computer1
|
93a4378475
|
Initial commit
|
2019-07-09 05:19:41 -04:00 |
