Ben Hormann b457d15701 [ fix #221 ] realpath alternative for macOS ... Zsh is available by default on macOS readlink -f is commonly supported on Linux and BSD		2021-05-21 18:23:50 +01:00
..
idris2_app	Generalise NIL/CONS to all list shaped things	2021-05-09 01:43:59 +01:00
compile.ss	Update bootstrapping scripts for new exec name	2020-05-20 14:00:15 +01:00
idris2-boot.sh	[ fix #221 ] realpath alternative for macOS	2021-05-21 18:23:50 +01:00
idris2-rktboot.sh	[ fix #221 ] realpath alternative for macOS	2021-05-21 18:23:50 +01:00