5 Commits

Author	SHA1	Message	Date
madman-bob	7a3d557bab	Add copyDir function (#1805) ... Co-authored-by: Stiopa Koltsov <stepan.koltsov@gmail.com>	2021-08-30 16:42:58 +01:00
Kamiλ Shakirov	8e30b296c0	[ refactor ] Remove Data.Strings module (#1607)	2021-06-28 13:48:37 +01:00
Ruslan Feizerakhmanov	70158b9dd1	REPL commands: load-package & fuzzy-search (#1318) ... REPL commands: load-package & fuzzy-search Move REPL-related code over to its own namespace	2021-04-25 09:13:55 +01:00
Guillaume ALLAIS	96cc7fd273	[ new ] depthFirst, findFile	2021-04-19 10:58:40 +01:00
G. Allais	5946442dc2	[ new ] idris2 --init (#1299)	2021-04-15 14:08:50 +01:00