delta/python-packages/pygments.git/tests/examplefiles/test.idr, branch bash-variable bitbucket.org: Obsolete (use python-packages/pygments-git) Idris lexer: add support for doc comments 2014-08-31T15:40:23+00:00 Tim Baumann tim@timbaumann.info 2014-08-31T15:40:23+00:00 fb36a5cea3738b96036b9d536e54cd3d2b4261d6 






Idris lexer: parse commented out type declarations as comments
2014-08-31T15:31:47+00:00

Tim Baumann
tim@timbaumann.info

2014-08-31T15:31:47+00:00

ce7ab4225df16d761e62ff2d7ab6fc5d88d57eb1












Idris: added examplefile
2014-03-04T13:14:07+00:00

raichoo
raichoo@googlemail.com

2014-03-04T13:14:07+00:00

cd9c0b70635f2a6c65ea97d042537478a0a95b7a