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 |
|
