16 Commits

Author	SHA1	Message	Date
Denis Buzdalov	bff74807fd	Some functions, mostly for lazy lists (#854) ... Co-authored-by: G. Allais <guillaume.allais@ens-lyon.org>	2020-12-18 10:33:56 +00:00
Matus Tejiscak	f64163de1f	Merge branch 'unscheme' into master	2020-10-11 08:20:01 +02:00
G. Allais	d105dd11a7	[ breaking ] remove List1 related ambiguities (#690)	2020-09-22 15:07:40 +01:00
Matus Tejiscak	d26a9c55bf	Tune Data.String.Iterator.	2020-09-20 10:02:18 +02:00
Matus Tejiscak	f73fa55075	Unpack strings into a lazy list.	2020-09-19 22:48:45 +02:00
G. Allais	0a7ea69df5	[ refactor ] introduce List1 to remove impossible case (#520)	2020-08-04 20:03:18 +01:00
Nick Drozd	a2bdf8e6d7	Add some algebra implementations	2020-07-17 08:25:20 -05:00
G. Allais	0908e76515	[ fix #346 ] Pull List.length into prelude (#450)	2020-07-14 12:15:57 +01:00
Nick Drozd	6519b5608d	Further simplify List	2020-07-12 21:00:33 -05:00
Nick Drozd	7d1ee9dd08	Simplify Equality	2020-07-07 10:48:23 +01:00
Denis Buzdalov	77f1d69acb	Injectivity and similar properties were added for lists'a append.	2020-06-30 17:00:47 +03:00
Denis Buzdalov	df60e07962	List's snoc injectivity property was renamed approporiately.	2020-06-30 13:18:42 +01:00
Ohad Kammar	9f643a2243	minor: fix spaces/alignment ... Thanks @gallais	2020-06-16 20:36:15 +01:00
Ohad Kammar	96cd878a3f	Speed-up (hopefully) Syntax.PreorderReasoning syntax from contrib	2020-06-16 20:09:31 +01:00
Rohit Grover	e4c6aa282c	some proofs and views around lists (#133)	2020-06-01 08:28:37 +01:00
Edwin Brady	dec7dff622	Add libraries	2020-05-18 14:00:08 +01:00