Sha256: c6c35bf50527fcf25d0d69f91d54a0c294431ec520b4dde09e738ff39bcd8bf6

Contents?: true

Size: 15 KB

Versions: 36

Compression: gzip

Compressed size: 3.31 KB

Stored size: 3.31 KB

Contents

Download

Version data entries

36 entries across 36 versions & 2 rubygems

Version Path
github-linguist-4.8.15 grammars/source.idris.json
github-linguist-4.8.14 grammars/source.idris.json
github-linguist-4.8.13 grammars/source.idris.json
github-linguist-4.8.12 grammars/source.idris.json
github-linguist-4.8.11 grammars/source.idris.json
github-linguist-4.8.10 grammars/source.idris.json
github-linguist-4.8.9 grammars/source.idris.json
github-linguist-4.8.8 grammars/source.idris.json
github-linguist-4.8.7 grammars/source.idris.json
github-linguist-4.8.6 grammars/source.idris.json
github-linguist-4.8.5 grammars/source.idris.json
github-linguist-4.8.4 grammars/source.idris.json
github-linguist-4.8.3 grammars/source.idris.json
github-linguist-4.8.0 grammars/source.idris.json
github-linguist-grammars-4.6.3 grammars/source.idris.json
github-linguist-grammars-4.6.0 grammars/source.idris.json