Kamiλ Shakirov db30dd3f16 Port Data.List.unzip from Idris1 (#972)		2021-01-21 16:30:00 +00:00
..
base	Port Data.List.unzip from Idris1 (#972)	2021-01-21 16:30:00 +00:00
contrib	Merge pull request #884 from mattpolzin/list-reverse-involutory	2021-01-21 13:33:34 +00:00
network	network: Retrieve AF_* magic constants from C support code.	2020-10-01 12:05:42 +01:00
prelude	removed trailing whitespace (#955)	2021-01-21 11:33:03 +00:00