Idris2/libs
2022-12-20 16:36:27 +00:00
..
base [ base ] Add forgetting conversions of Vect.Quantifiers 2022-12-20 16:36:27 +00:00
contrib [ cleanup ] Clean up existing code in the Arrow module 2022-12-05 15:10:16 +00: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 [ papers ] fill last hole in lambda pi formalisation 2022-12-05 15:02:04 +00:00
prelude [ perf ] manually eta-expand unsaturated io_bind calls (#2785) 2022-12-01 15:31:00 +00:00
test [ cleanup ] Use several library functions instead of their code 2022-12-05 15:10:16 +00:00