Idris2/libs
2022-09-22 14:01:03 +01:00
..
base [ base ] Add a variant of System.run allowing processing on the fly 2022-09-22 14:01:03 +01:00
contrib [ parser ] Fix issue where Alt drops incoming commit tag 2022-09-05 12:44:02 +01:00
linear [ linear ] These seem useful (#2316) 2022-02-11 09:28:15 +00:00
network Fix connect in linear module and add bytes-specific functions 2022-09-01 12:23:29 +01:00
papers [ papers ] Computing with Generic Trees (#2661) 2022-09-16 11:40:09 +01:00
prelude [ performance ] constant folding for all integral expressions (#2662) 2022-09-21 10:05:02 +01:00
test [ new ] :exec for RefC (#2466) 2022-05-10 15:09:53 +01:00