Commit graph

Select branches

Hide pull requests

main

Mono Color

• 8d61704813 change highlight categories main rhiannon morris 2023-11-05 12:10:48 +01:00
• 8b12e7dd3e add %syntactic rhiannon morris 2023-11-05 12:10:35 +01:00
• 1cb34ab5d6 add type search on \s (since proof search is ALSO \o) rhiannon morris 2023-05-28 14:45:18 +02:00
• 504979fe07 remove menu bar stuff rhiannon morris 2023-05-28 14:44:41 +02:00
• 9c35464b69 also print input expression with \e rhiannon morris 2023-05-28 14:44:12 +02:00
• 2c89714506 remove commands that don't exist in idris2 rhiannon morris 2023-05-28 14:43:45 +02:00
• 518e5f0c41 fix refine command rhiannon morris 2023-05-27 16:22:20 +02:00
• ad08ee24f5 stop wobbling the window around on reload rhiannon morris 2023-05-27 16:22:13 +02:00
• f89aa275a1 abstract isn't reserved rhiannon morris 2023-02-25 16:45:17 +01:00
• 2b35029bde raw strings rhiannon morris 2022-04-11 14:10:49 +02:00
• f248ccb909 add 'proof' keyword rhiannon morris 2022-01-04 16:34:40 +01:00
• 5a42b26e80 add %search rhiannon morris 2022-01-03 22:46:04 +01:00
• 6b8e2c8d3e else if → elseif rhiannon morris 2022-01-03 15:09:55 +01:00
• 1e64a7bd2c set more scratch props for idris-response rhiannon morris 2022-01-03 15:09:43 +01:00
• 9725d2273e add \> after %keywords rhiannon morris 2021-12-30 13:51:17 +01:00
• 01ae8cf8e4 remove duplicate %defaulthint rhiannon morris 2021-12-29 10:24:09 +01:00
• 99bba8a3fd fix typo in %ambiguity_depth rhiannon morris 2021-12-29 10:23:45 +01:00
• b6f26d5e7e add %builtin rhiannon morris 2021-12-29 10:23:25 +01:00
• 71d9ecb0c5 add \T to readme rhiannon morris 2021-12-28 09:58:08 +01:00
• 555d6bf79a don't highlight the insides of braces rhiannon morris 2021-12-28 09:56:16 +01:00
• be255abde7 don't clobber registers with old idris-response rhiannon morris 2021-12-28 09:56:16 +01:00
• 3ffa41df09 remove } from indk rhiannon morris 2021-12-28 09:56:16 +01:00
• 58d3843ef1 add idiom brackets rhiannon morris 2021-12-28 09:56:16 +01:00
• f088d05a14 add \T to show type with implicits rhiannon morris 2021-12-28 09:56:16 +01:00
• 964cebee49
  Merge pull request #16 from ShinKage/disable-color Edwin Brady 2020-11-26 15:50:07 +00:00
• 20f025a225 Disable color and minor syntax additions Giuseppe Lomurno 2020-08-20 10:52:07 +02:00
• 099129e08c
  Merge pull request #8 from ShinKage/idris2-syntax Edwin Brady 2020-05-25 11:53:38 +01:00
• 2f1a013414
  Merge pull request #7 from buzden/further-secondification Edwin Brady 2020-05-25 11:53:08 +01:00
• 7254ad0cde
  Merge pull request #5 from neriglissar/neriglissar/fix-IdrisReload Edwin Brady 2020-05-25 11:52:26 +01:00
• 05cdd9ff47 Added %tcinline pragma Giuseppe Lomurno 2020-05-22 18:18:37 +02:00
• 2013a7129c Updated idris2 syntax highlighting Giuseppe Lomurno 2020-05-19 20:40:40 +02:00
• 874495a339 Further "Idris" -> "Idris 2" renamings were done Denis Buzdalov 2020-05-19 18:32:37 +03:00
• 5f31ebb697
  [Fix] E121: Undefined variable: file in IdrisReload neriglissar 2020-05-17 14:13:52 +02:00
• b057b734aa
  Merge pull request #4 from ShinKage/path-escape Edwin Brady 2020-05-15 15:16:26 +01:00
• bd97999479 Escape the paths passed to idris2 Giuseppe Lomurno 2020-05-15 15:33:33 +02:00
• 0fd4094cc3
  Merge pull request #2 from ziman/absolute-paths Edwin Brady 2020-04-01 00:53:30 +01:00
• 8a8c94d328 Use absolute paths to invoke Idris2. Matus Tejiscak 2020-03-29 18:30:25 +02:00
• 9333d92ffa
  Merge pull request #1 from mrkgnao/patch-1 Edwin Brady 2020-03-10 11:43:45 +00:00
• a1ea598326
  fix references to idris1(-mode) Soham Chowdhury 2020-03-10 08:13:16 +05:30
• 7a0b10df22 Add --find-ipkg flag Edwin Brady 2020-02-23 12:56:29 +00:00
• 0db674ff18 More README fixes Edwin Brady 2020-02-22 20:46:22 +00:00
• 16eaa95de4 Update README slightly Edwin Brady 2020-02-22 20:45:05 +00:00
• 2d3f31df29 Rename to idris2 Edwin Brady 2020-02-22 20:34:56 +00:00
• e3816a7be5 Initial version Edwin Brady 2020-02-22 20:32:56 +00:00