Niklas Larsson 084997a880 Replace prim__getArgs with prim__getArgsCount and prim__getArg ... This spares us from having to build Idris data structures in the foreign code.		2021-04-03 10:45:02 +02:00
..
c	[ re #1185 ] Add primitive for obtaining number of processors (#1209)	2021-03-26 18:27:25 +00:00
chez	Replace prim__getArgs with prim__getArgsCount and prim__getArg	2021-04-03 10:45:02 +02:00
gambit	Replace prim__getArgs with prim__getArgsCount and prim__getArg	2021-04-03 10:45:02 +02:00
js	Add a total way of reading files in. (#1070)	2021-02-18 11:13:25 +00:00
racket	Replace prim__getArgs with prim__getArgsCount and prim__getArg	2021-04-03 10:45:02 +02:00
refc	Fixes from trying to compile idris with the refc backend	2021-04-02 15:02:40 +02:00