Edwin Brady e126dcd28f Add --find-ipkg flag ... This looks for an .ipkg file in a parent directory before loading the given file, and loads it relative to the .ipkg's source directory, with the options specified in the .ipkg. The intention is to save all the editor modes having to do the same thing, and especially makes it possible for the new vim mode to work with ipkgs.		2020-02-22 23:25:02 +00:00
..
Elab	Type of generated top level methods	2020-02-22 17:38:13 +00:00
IDEMode	Updating versions of REPL editing commands	2020-02-19 13:22:59 +01:00
Socket	Added Idris.Socket	2019-06-01 14:13:28 +01:00
CommandLine.idr	Add --find-ipkg flag	2020-02-22 23:25:02 +00:00
Desugar.idr	Reorganise implicit binding	2020-02-22 12:52:40 +00:00
Error.idr	Use a data type for dotting reason	2020-01-24 16:16:31 +00:00
Main.idr	Add --find-ipkg flag	2020-02-22 23:25:02 +00:00
ModTree.idr	Check import hashes before a full parse	2020-02-10 15:47:19 +00:00
Package.idr	Add --find-ipkg flag	2020-02-22 23:25:02 +00:00
Parser.idr	Parse primitive types as identifiers	2020-02-22 18:36:46 +00:00
ProcessIdr.idr	Fix 'import public'	2020-02-15 14:08:48 +00:00
REPL.idr	Proof search on solved holes shows result	2020-02-22 15:30:45 +00:00
REPLCommon.idr	handle more commands in IDE mode	2019-10-31 07:09:43 +01:00
REPLOpts.idr	Remove trailing whitespace from Idris sources.	2019-10-25 14:24:25 -07:00
Resugar.idr	Simpler implementation of 'case'	2020-02-09 13:46:58 +00:00
SetOptions.idr	Add --find-ipkg flag	2020-02-22 23:25:02 +00:00
Socket.idr	Added Idris.Socket	2019-06-01 14:13:28 +01:00
Syntax.idr	Updating versions of REPL editing commands	2020-02-19 13:22:59 +01:00
Version.idr	Only use version tag in display	2020-01-30 18:25:18 +00:00