russoul fd90141ed9 Merge branch 'master' of https://github.com/idris-lang/Idris2 into master		2020-10-12 17:36:45 +03:00
..
base	Merge branch 'master' of https://github.com/idris-lang/Idris2 into master	2020-10-12 17:36:45 +03:00
contrib	Merge branch 'unscheme' into master	2020-10-11 08:20:01 +02:00
network	network: Retrieve AF_* magic constants from C support code.	2020-10-01 12:05:42 +01:00
prelude	Add a (>>) operator, implemented in terms of (>>=).	2020-10-01 13:16:58 +01:00