2 Commits

Author	SHA1	Message	Date
Edwin Brady	4d146d2416	Some progress on updating the tutorial	2020-02-25 18:34:32 +00:00
Edwin Brady	755d9bfd20	Copy some docs over from Idris 1 ... These are still to be updated (as noted in the files), but it needs doing before any kind of preliminary release. Plan is to refresh the tutorial and make sure samples work again, then write a more comprehensive document explaining changes since Idris 1.	2020-02-25 14:09:08 +00:00