raichoo
|
3c5359c757
|
local vars
|
2014-07-04 20:41:23 +02:00 |
|
raichoo
|
cccb536b4f
|
include comments in module block
|
2014-07-04 17:48:12 +02:00 |
|
raichoo
|
b759744a71
|
fix errors
|
2014-07-04 17:28:52 +02:00 |
|
raichoo
|
90c6d01c40
|
better where highlighting
|
2014-07-04 16:45:16 +02:00 |
|
raichoo
|
fd29b8faff
|
allow dot in backtick notation
|
2014-07-04 15:51:36 +02:00 |
|
raichoo
|
cc0137e8f6
|
contextual highlighting of where
|
2014-07-03 19:12:52 +02:00 |
|
raichoo
|
57c6f92046
|
recognize single quotes in backtick notation
|
2014-06-26 11:22:34 +02:00 |
|
raichoo
|
5ae17ffff4
|
better highlighting for quantifiers
|
2014-06-26 11:22:34 +02:00 |
|
raichoo
|
2a7263e31b
|
highlight toplevel identifiers
|
2014-06-26 11:22:34 +02:00 |
|
raichoo
|
fe6a5ad07f
|
add spellchecking cluster
|
2014-06-26 11:22:34 +02:00 |
|
raichoo
|
648638500c
|
fix highlighting for deriving
|
2014-06-26 11:22:34 +02:00 |
|
raichoo
|
17fb61840a
|
removed date from files
|
2014-06-25 16:39:26 +02:00 |
|
raichoo
|
59dd342446
|
contextual forall/exists highlighting
|
2014-06-25 16:37:53 +02:00 |
|
raichoo
|
644a4fbcd4
|
improved let indenting
|
2014-06-25 16:37:21 +02:00 |
|
raichoo
|
aa46437e13
|
remove non-haskell type from haskellType
|
2014-06-25 15:14:09 +02:00 |
|
raichoo
|
577d01e08a
|
use keyword for matching
|
2014-06-25 15:13:49 +02:00 |
|
raichoo
|
d005c80b5e
|
fixed in indentation
|
2014-06-25 14:18:26 +02:00 |
|
raichoo
|
da7075f861
|
underscore is not a delimiter
|
2014-06-25 14:09:25 +02:00 |
|
raichoo
|
9f5448262b
|
Document Features Flags
|
2014-06-25 13:45:31 +02:00 |
|
raichoo
|
069484081e
|
add configure options
|
2014-06-25 13:43:17 +02:00 |
|
raichoo
|
c88cfc6153
|
fix whitespace
|
2014-06-25 13:43:17 +02:00 |
|
raichoo
|
ae8fc253a6
|
Document Indentation Settings
|
2014-06-25 13:19:07 +02:00 |
|
raichoo
|
afc670c422
|
less annoying indentation for in keyword
|
2014-06-24 22:45:57 +02:00 |
|
raichoo
|
0211978822
|
added license because of law mumbo jumbo
|
2014-06-20 22:54:08 +02:00 |
|
raichoo
|
82a30b3be3
|
adjusted date
|
2014-06-18 23:40:49 +02:00 |
|
raichoo
|
070b323fa0
|
better FFI highlighting
|
2014-06-18 23:40:03 +02:00 |
|
raichoo
|
46279065e6
|
added safe keyword to imports
|
2014-06-18 22:59:56 +02:00 |
|
raichoo
|
56e9a82641
|
Update README.md
|
2014-06-18 16:56:11 +02:00 |
|
raichoo
|
4d1fafa315
|
added foreign keyword
|
2014-06-18 13:46:01 +02:00 |
|
raichoo
|
a1ed1096a3
|
smarter highlighting for type families
|
2014-06-18 13:35:36 +02:00 |
|
raichoo
|
2862757988
|
fixed wrong condition
|
2014-06-18 12:33:44 +02:00 |
|
raichoo
|
23ba6b5caf
|
prevent infinite loop
|
2014-06-18 12:02:36 +02:00 |
|
raichoo
|
68d86aa481
|
smarter indent for where and let
|
2014-06-18 11:50:07 +02:00 |
|
raichoo
|
2f5451fe84
|
added word boundaries
|
2014-06-18 11:48:15 +02:00 |
|
raichoo
|
c5f63a11bc
|
remove unused indentation code
|
2014-06-18 11:11:07 +02:00 |
|
raichoo
|
cbe2a363ce
|
translated comments in idris to haskell
|
2014-06-18 11:03:01 +02:00 |
|
raichoo
|
de010a55d6
|
added word boundary to quantifiers
|
2014-06-18 10:51:10 +02:00 |
|
raichoo
|
bcbff4198c
|
simplified qualified import
|
2014-06-18 10:04:52 +02:00 |
|
raichoo
|
d1d4a8b398
|
removed prefix keyword
|
2014-06-18 09:34:55 +02:00 |
|
raichoo
|
73ae28e3f5
|
added deriving to keywords
|
2014-06-18 09:34:55 +02:00 |
|
raichoo
|
9775000189
|
added family to keywords
|
2014-06-18 09:34:54 +02:00 |
|
raichoo
|
b50bde4524
|
added highlighting for quantification
|
2014-06-18 09:34:54 +02:00 |
|
raichoo
|
7de9bfbe0b
|
Update README.md
Fixed typo and added idris-vim link
|
2014-06-17 23:03:53 +02:00 |
|
raichoo
|
6a98cd205c
|
added pathogen link
|
2014-06-17 22:29:59 +02:00 |
|
raichoo
|
2fc0e6a25d
|
added more content to README.md
|
2014-06-17 22:28:58 +02:00 |
|
raichoo
|
e719ecf89d
|
added type and newtype to keywords
|
2014-06-17 22:14:20 +02:00 |
|
raichoo
|
e63c7aaff7
|
highlight qualified imports properly
|
2014-06-17 22:12:17 +02:00 |
|
raichoo
|
09477f74ec
|
fix indentation for multiline let-bindings
|
2014-06-17 21:07:43 +02:00 |
|
raichoo
|
59e9571d03
|
fix indendation of multiline function types
|
2014-06-17 21:07:22 +02:00 |
|
raichoo
|
55db6361d3
|
initial commit
|
2014-06-17 20:32:44 +02:00 |
|