| .. |
|
Elab
|
Update method names when checking default methods
|
2019-07-27 17:01:02 +01:00 |
|
IDEMode
|
Merge pull request #54 from ether42/unrecognised
|
2019-07-28 15:25:20 +01:00 |
|
Socket
|
Added Idris.Socket
|
2019-06-01 14:13:28 +01:00 |
|
CommandLine.idr
|
add --clean option for ipkg
|
2019-07-15 14:36:54 +03:00 |
|
Desugar.idr
|
Allow annotating functions with multiplicity
|
2019-07-20 18:04:18 +01:00 |
|
Error.idr
|
Small improvement in error messages
|
2019-07-08 14:11:54 +02:00 |
|
Main.idr
|
Change elaboration of lets
|
2019-07-28 13:43:01 +01:00 |
|
ModTree.idr
|
Improve 'with' implementation
|
2019-07-08 12:55:55 +02:00 |
|
Package.idr
|
add --clean option for ipkg
|
2019-07-15 14:36:54 +03:00 |
|
Parser.idr
|
fix implicit/brace block ambiguity in records
|
2019-07-27 02:16:35 +03:00 |
|
ProcessIdr.idr
|
Add records in their own namespace
|
2019-07-10 16:55:28 +02:00 |
|
REPL.idr
|
Store invertibility in definition, not hole
|
2019-07-26 00:00:03 +01:00 |
|
REPLCommon.idr
|
More of the Idris machinery
|
2019-06-02 17:24:39 +01:00 |
|
REPLOpts.idr
|
Add more of the high level stuff
|
2019-06-01 15:05:04 +01:00 |
|
Resugar.idr
|
Allow annotating functions with multiplicity
|
2019-07-20 18:04:18 +01:00 |
|
SetOptions.idr
|
Update makefiles and paths
|
2019-06-13 16:53:16 +01:00 |
|
Socket.idr
|
Added Idris.Socket
|
2019-06-01 14:13:28 +01:00 |
|
Syntax.idr
|
Allow marking interface methods multiplicities
|
2019-07-22 16:21:33 +01:00 |
