Matthew Mosior

List additions

1

This adds the permutations function which is a port of the OCaml permutations function found in this Rosetta Code page: https://rosettacode.org/wiki/Permutations#OCaml

[ feature ] Automating Mid-Install Temporary Directory Cleanup

2

This PR enables the removal of temporary directories that used to linger after a mid-install Ctrl+C. To accomplish this, the [idris2-async](https://github.com/stefan-hoeck/idris2-async) library is utilized to race two threads within the...

This PR adds an Idris2 json benchmark. It also refines the way Idris2 code is developed and run using [pack](https://github.com/stefan-hoeck/idris2-pack).