9 Commits

Author	SHA1	Message	Date
Matthieu JACQUOT	f84850ea36	add minus proofs on Nats from Idris1	2020-05-22 22:39:09 +02:00
Edwin Brady	215ad99308	Merge pull request #86 from andylokandy/just ... Add a total version of the fromMaybe	2020-05-20 21:41:35 +01:00
andylokandy	a51a665668	Reuse foldr1 in foldr1'	2020-05-21 02:35:18 +08:00
andylokandy	5252a7ae3b	Add a total version of the fromMaybe	2020-05-21 02:11:35 +08:00
andylokandy	8de668f1a4	Add folds without default value to List	2020-05-21 02:09:14 +08:00
andylokandy	0d82b5d7da	Add System.Path	2020-05-20 22:51:01 +08:00
Edwin Brady	2569b6e991	Update libraries from upstream	2020-05-19 17:03:18 +01:00
Edwin Brady	ede324dc6c	Don't collapse empty lines in 'lines' ... Now the vim mode works!	2020-05-19 10:47:05 +01:00
Edwin Brady	dec7dff622	Add libraries	2020-05-18 14:00:08 +01:00