5 commits

Author	SHA1	Message	Date
Soham Chowdhury	a1ea598326	fix references to idris1(-mode)	2020-03-10 08:13:16 +05:30
Edwin Brady	7a0b10df22	Add --find-ipkg flag ... This means the Idris instance will look for an ipkg file in parent directories and use that as the root, processing any options.	2020-02-23 12:56:29 +00:00
Edwin Brady	0db674ff18	More README fixes	2020-02-22 20:46:22 +00:00
Edwin Brady	16eaa95de4	Update README slightly	2020-02-22 20:45:05 +00:00
Edwin Brady	e3816a7be5	Initial version ... Mostly copied from idris-vim	2020-02-22 20:32:56 +00:00