raichoo
|
ef4250b2cd
|
Update README.md
|
2014-08-17 19:21:37 +02:00 |
|
raichoo
|
261f44ce4b
|
Update README.md
|
2014-08-17 19:19:34 +02:00 |
|
raichoo
|
fbd96993bf
|
simplified indentation for in
|
2014-08-17 19:18:07 +02:00 |
|
raichoo
|
2005aa8f1a
|
better indentation for multiline typesigs
|
2014-08-16 22:22:50 +02:00 |
|
raichoo
|
d5158ebee9
|
removed highlighting for exists
|
2014-08-16 21:51:29 +02:00 |
|
raichoo
|
20df86fde9
|
Update README.md
|
2014-08-16 21:33:37 +02:00 |
|
raichoo
|
5d5540e6a6
|
added support for type roles
|
2014-08-16 21:15:48 +02:00 |
|
raichoo
|
1bb844eadf
|
defensive indentation
|
2014-07-14 11:59:32 +02:00 |
|
raichoo
|
1b8a19a58a
|
add default keyword
|
2014-07-10 19:44:15 +02:00 |
|
raichoo
|
25af754e77
|
add leading underscore to identifiers
|
2014-07-05 22:47:00 +02:00 |
|
raichoo
|
c8292f80e0
|
added pattern synonyms
|
2014-07-05 22:36:25 +02:00 |
|
raichoo
|
f2cc28efca
|
added guard indentation
|
2014-07-05 22:18:31 +02:00 |
|
raichoo
|
b337c1461a
|
fix sumtype indentation
|
2014-07-05 21:57:53 +02:00 |
|
raichoo
|
80dc2f24b3
|
remove brace indentation
|
2014-07-05 21:47:50 +02:00 |
|
raichoo
|
44e3e6e137
|
indent deriving
|
2014-07-05 21:37:17 +02:00 |
|
raichoo
|
61a5408ced
|
added bottom highlighting
|
2014-07-05 19:54:43 +02:00 |
|
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 |
|