Idris2/support
Edwin Brady fafa76c55c Generalise NIL/CONS to all list shaped things
Also pairs turn into CONS, because we don't need to look at the tag if
there's only one constructor.
2021-05-09 01:43:59 +01:00
..
c Fix issues with use of unix sockets (#1284) 2021-04-12 11:22:45 +01:00
chez Generalise NIL/CONS to all list shaped things 2021-05-09 01:43:59 +01:00
docs [ docs ] Remove unnecessary newlines in HTML declaration lists 2021-05-06 14:38:55 +01:00
gambit [ new ] Add Int(8/16/32/64) (#1352) 2021-05-04 08:22:06 +01:00
js Windows test fixes 2021-04-12 18:47:57 +02:00
racket Generalise NIL/CONS to all list shaped things 2021-05-09 01:43:59 +01:00
refc Fixes from trying to compile idris with the refc backend 2021-04-02 15:02:40 +02:00