Markus Triska
|
94e9e17c79
|
ADDED: working_directory/2, addressing a remaining aspect of #511
|
2020-07-14 23:05:29 +02:00 |
|
Markus Triska
|
5134e64cae
|
ADDED: delete_file/1, addressing a remaining aspect of #511
|
2020-07-14 22:21:46 +02:00 |
|
Markus Triska
|
0fa8feb475
|
use newly available character type in must_be/2
|
2020-07-11 21:00:25 +02:00 |
|
Markus Triska
|
aa9432e24f
|
comment on indexing, addressing a comment by @pmoura in #606
If indexing is needed for lists of characters, it should be added to
the engine.
|
2020-06-24 22:29:34 +02:00 |
|
Markus Triska
|
30d1585468
|
ADDED: library(files), for reasoning about files and directories.
|
2020-06-24 22:29:34 +02:00 |
|