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 |
|