greg
|
ae2182db5d
|
Add history saving
|
2018-07-26 00:52:45 -07:00 |
|
greg
|
ad450469a5
|
Switch to rustyline library
|
2018-07-26 00:52:45 -07:00 |
|
greg
|
253a85005c
|
Save settings on ctrl-D
|
2018-07-26 00:52:45 -07:00 |
|
greg
|
4d89dcc85e
|
Can specify language name with -l in any case
|
2018-07-26 00:52:45 -07:00 |
|
greg
|
fe0e58efe7
|
Go directly to langauge by name
|
2018-07-26 00:52:45 -07:00 |
|
greg
|
afd2b018f4
|
Language name in prompt
|
2018-07-26 00:52:45 -07:00 |
|
greg
|
66e3de41dd
|
Make schala-lib::language private and reexport
|
2018-07-26 00:52:45 -07:00 |
|
greg
|
c4dbdf1fe7
|
Refactor into libs part II
woo it compiles
|
2018-07-26 00:52:45 -07:00 |
|
greg
|
4c7174e4c4
|
Halfway done to library-ifying schala
|
2018-07-26 00:52:45 -07:00 |
|