12 Commits

Author	SHA1	Message	Date
Edwin Brady	4ccddbac4a	Don't generalise to RigW on let types ... This is just as ugly as the similar hack for lambdas in 413d09da, but necessary to allow let binding of linear functions.	2020-02-11 17:54:11 +00:00
Edwin Brady	3cb574102a	Add idiom brackets	2020-01-26 17:24:25 +00:00
Milan Kral	eb7be5eba1	Use HTTPS instead of HTTP	2019-12-18 21:37:50 +01:00
Edwin Brady	9813b39be6	Update INSTALL/README ... These now say Idris 1.3.2 is required	2019-07-22 16:15:51 +01:00
Matthew Wilson	7fd70d5860	add talk video link	2019-07-18 15:06:42 -04:00
Edwin Brady	ec4d498b2a	Add note about needing Idris master to README ... A few people have reported issues that this won't build with Idris 1.3.1, which it won't. There's a note in INSTALL.md, but it's clearly not prominent enough! I will do a new release soon, but it does take time to do it properly!	2019-07-17 10:46:28 +01:00
Edwin Brady	39ee4ad9c8	Numeric range syntax	2019-07-12 09:32:36 +02:00
Edwin Brady	8a1a4ad56d	Update README.md ... Fix typo	2019-07-09 00:05:01 +02:00
Edwin Brady	2967a19963	Add more stream functions to Data.Stream	2019-07-08 18:10:47 +02:00
Edwin Brady	c6d7c6ca6c	Some performance improvements ... Surprisingly == on Nat in the Idris prelude is linear! So shortcut that by converting to an Integer first. Also a couple of small things in the evaluator that have a small but noticeable effect when environments are big.	2019-07-01 12:43:02 +01:00
Edwin Brady	e68b9134e7	Calculate parameter positions in types	2019-06-24 19:31:25 +01:00
Edwin Brady	18f269bbef	Add some notes ... Mostly copied from Blodwen and brought up to date (more or less).	2019-06-24 13:05:19 +01:00