Idris2/libs
2023-01-19 11:09:28 +00:00
..
base [ base ] fix the definition of die (#2854) 2023-01-19 11:09:28 +00:00
contrib Moving Data.List.HasLength into base (#2844) 2023-01-16 00:07:21 -06:00
linear [ fix ] bump version of linear and papers packages (#2735) 2022-10-28 08:55:35 +01:00
network Prepare release 0.6.0 (#2733) 2022-10-27 16:32:16 +01:00
papers Moving Data.List.HasLength into base (#2844) 2023-01-16 00:07:21 -06:00
prelude [ prelude ] Add lacking implementation of Traversable for Pair 2023-01-09 15:56:21 +00:00
test [ cleanup ] Use several library functions instead of their code 2022-12-05 15:10:16 +00:00