Rob Rix
|
4df6983283
|
Add some notes about basic interactions we want to support.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-01 12:07:03 -04:00 |
|
Rob Rix
|
0ae579d7c5
|
Prompt before evaluating each term.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-01 12:05:25 -04:00 |
|
Rob Rix
|
7f60152896
|
Add boilerplate for running effectful actions.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-01 12:04:52 -04:00 |
|
Rob Rix
|
8da81469bc
|
Define PureEffect & Effect instances for REPL.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-01 12:03:28 -04:00 |
|
Rob Rix
|
57135b99a6
|
Define a handler for REPL effects.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-01 12:03:19 -04:00 |
|
Rob Rix
|
90a53ff9e3
|
Define smart constructors for REPL.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-01 12:02:47 -04:00 |
|
Rob Rix
|
00f2c3f600
|
Define a REPL effect datatype.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-01 12:02:36 -04:00 |
|
Rob Rix
|
5a14067cc1
|
Add an export list.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-01 12:02:14 -04:00 |
|
Rob Rix
|
5d119d78b3
|
Derive MonadIO instances for Evaluator and TermEvaluator.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-01 11:46:56 -04:00 |
|
Rob Rix
|
fb12fc3a29
|
Stub in a REPL module.
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
|
2018-08-01 10:54:57 -04:00 |
|
Rob Rix
|
4b913f9e41
|
Extract a function to show an excerpt from a Blob.
|
2018-08-01 10:34:26 -04:00 |
|
Ayman Nadeem
|
986cc48c46
|
Merge pull request #2092 from github/test-java-assignment-part-2
Test java assignment part 2
|
2018-08-01 07:24:15 -04:00 |
|
Ayman Nadeem
|
ea11278e8b
|
Merge branch 'master' into test-java-assignment-part-2
|
2018-08-01 07:03:00 -04:00 |
|
Charlie Somerville
|
b5f6edb942
|
fix self in ruby assignment
|
2018-08-01 15:01:12 +10:00 |
|
Charlie Somerville
|
d00fced1bb
|
Merge branch 'master' into charliesome/context
|
2018-08-01 11:45:46 +10:00 |
|
Rick Winfrey
|
0a1b63e595
|
Add custom Show ErrorContext instance
|
2018-07-31 16:56:52 -07:00 |
|
Rick Winfrey
|
afbcfbdeb1
|
Add explicit export list
|
2018-07-31 16:56:39 -07:00 |
|
Rick Winfrey
|
ff2cb92617
|
Imports
|
2018-07-31 16:56:31 -07:00 |
|
Timothy Clem
|
625a929877
|
No need for defaultVal with Bool
|
2018-07-31 16:48:32 -07:00 |
|
Timothy Clem
|
0b294049b3
|
Provide a flag to disable running the grpc server
|
2018-07-31 16:40:05 -07:00 |
|
Rick Winfrey
|
825fe4dc06
|
Wire up BaseError of ValueError when handling
|
2018-07-31 12:46:39 -07:00 |
|
Rick Winfrey
|
4afab7c36a
|
Wrap ValueError with BaseError
|
2018-07-31 12:45:40 -07:00 |
|
Rick Winfrey
|
219b29ea11
|
Add ErrorContext and BaseError
|
2018-07-31 12:45:08 -07:00 |
|
Timothy Clem
|
6f257a0f7d
|
Example rover configs, useful for testing
|
2018-07-31 10:02:39 -07:00 |
|
Rob Rix
|
75b52843b2
|
📝 Lambda.
|
2018-07-31 11:54:06 -04:00 |
|
Rob Rix
|
c4a46f47e1
|
📝 lambda.
|
2018-07-31 11:52:20 -04:00 |
|
Rob Rix
|
15ce4e0012
|
Export Lambda, just in case.
|
2018-07-31 11:49:09 -04:00 |
|
Rob Rix
|
c32162d1b8
|
🔥 lambda2.
|
2018-07-31 11:48:19 -04:00 |
|
Rob Rix
|
1e89a8423a
|
Define lambda using Lambda.
|
2018-07-31 11:48:07 -04:00 |
|
Rob Rix
|
d472ead088
|
Define a base case for Lambda.
|
2018-07-31 11:47:36 -04:00 |
|
Rob Rix
|
35a3b667a7
|
Define a recursive case for Lambda.
|
2018-07-31 11:47:28 -04:00 |
|
Rob Rix
|
181a6c777b
|
Define a class for recursively constructing lambdas.
|
2018-07-31 11:47:12 -04:00 |
|
Rob Rix
|
0d4ddc42c2
|
Define a binary analogue of lambda.
|
2018-07-31 11:35:58 -04:00 |
|
Rob Rix
|
342ebbf5da
|
Add a CLI option to read a list of files.
|
2018-07-30 17:15:46 -04:00 |
|
Rob Rix
|
6ffa4efc06
|
Rename the parser for reading a project recursively.
|
2018-07-30 16:59:02 -04:00 |
|
Rob Rix
|
5d848feeba
|
Split out the recursive project task.
|
2018-07-30 16:53:19 -04:00 |
|
Rob Rix
|
83ac305205
|
Define the graph parser with ordinary Applicative notation.
ApplicativeDo can’t handle recursive bindings.
|
2018-07-30 16:51:24 -04:00 |
|
Rob Rix
|
31e4fe68a1
|
Extract optionsParser to the top level.
|
2018-07-30 16:30:51 -04:00 |
|
Rob Rix
|
900ea9c639
|
Extract argumentsParser to the top level.
|
2018-07-30 16:30:31 -04:00 |
|
Rob Rix
|
4e47a8eb53
|
Extract diffCommand to the top level.
|
2018-07-30 16:30:00 -04:00 |
|
Rob Rix
|
ab00268dc4
|
Extract parseCommand to the top level.
|
2018-07-30 16:29:42 -04:00 |
|
Rob Rix
|
d164e16dc5
|
Extract tsParseCommand to the top level.
|
2018-07-30 16:29:14 -04:00 |
|
Rob Rix
|
68c87a0b4d
|
Extract graphCommand to the top level.
|
2018-07-30 16:28:45 -04:00 |
|
Rob Rix
|
5d80308b27
|
Extract filePathReader to the top level.
|
2018-07-30 16:28:09 -04:00 |
|
Rob Rix
|
679aee515c
|
Extract options to the top level.
|
2018-07-30 16:27:37 -04:00 |
|
Rob Rix
|
95b0302622
|
Move the symbolFieldsReader up where it’s used.
|
2018-07-30 16:26:41 -04:00 |
|
Rob Rix
|
c332244b01
|
Inline the root/exclude directory options.
|
2018-07-30 16:23:43 -04:00 |
|
Rob Rix
|
b76f950b06
|
🔥 redundant parens.
|
2018-07-30 15:13:39 -04:00 |
|
Timothy Clem
|
2afe43deec
|
Clarify help description
|
2018-07-30 11:42:48 -07:00 |
|
Rick Winfrey
|
3bd6badc7a
|
Provide currentErrorContext helper function
|
2018-07-30 11:11:36 -07:00 |
|