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
|
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
|
c8292f80e0
|
added pattern synonyms
|
2014-07-05 22:36:25 +02:00 |
|
raichoo
|
9f5448262b
|
Document Features Flags
|
2014-06-25 13:45:31 +02:00 |
|
raichoo
|
ae8fc253a6
|
Document Indentation Settings
|
2014-06-25 13:19:07 +02:00 |
|
raichoo
|
56e9a82641
|
Update README.md
|
2014-06-18 16:56:11 +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
|
55db6361d3
|
initial commit
|
2014-06-17 20:32:44 +02:00 |
|