Ohad Kammar 87d4411709 Merge branch 'master' of github.com:idris-lang/Idris2 into fancy-preorder-reasoning		2020-06-16 20:10:21 +01:00
..
base	Fix unsetenv	2020-06-16 12:09:22 +02:00
contrib	Speed-up (hopefully) Syntax.PreorderReasoning syntax from contrib	2020-06-16 20:09:31 +01:00
network	Added fix to recvAll that doesn't use signal (Left 0) but the size of the buffer	2020-06-06 20:51:19 +02:00
prelude	Add linear pair/dependent pair to the prelude	2020-06-12 11:18:12 +01:00