russoul 98bfff4a27 Merge branch 'master' of https://github.com/idris-lang/Idris2 into master		2020-10-03 11:51:48 +03:00
..
base	Merge branch 'master' of https://github.com/idris-lang/Idris2 into master	2020-10-03 11:51:48 +03:00
contrib	[contrib] Add a Reflects datatype (#722)	2020-10-02 17:41:36 +01:00
network	[ breaking ] remove List1 related ambiguities (#690)	2020-09-22 15:07:40 +01:00
prelude	Add a (>>) operator, implemented in terms of (>>=).	2020-10-01 13:16:58 +01:00