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-5.3.3 grammars/source.idris.json
github-linguist-5.3.2 grammars/source.idris.json
github-linguist-5.3.1 grammars/source.idris.json
github-linguist-5.3.0 grammars/source.idris.json
github-linguist-5.2.0 grammars/source.idris.json
github-linguist-5.1.0 grammars/source.idris.json
github-linguist-5.0.11 grammars/source.idris.json
github-linguist-5.0.10 grammars/source.idris.json
github-linguist-5.0.9 grammars/source.idris.json
github-linguist-5.0.8 grammars/source.idris.json
github-linguist-5.0.7 grammars/source.idris.json
github-linguist-5.0.6 grammars/source.idris.json
github-linguist-5.0.5 grammars/source.idris.json
github-linguist-5.0.4 grammars/source.idris.json
github-linguist-5.0.3 grammars/source.idris.json
github-linguist-5.0.2 grammars/source.idris.json
github-linguist-5.0.0 grammars/source.idris.json
github-linguist-4.8.18 grammars/source.idris.json
github-linguist-4.8.17 grammars/source.idris.json
github-linguist-4.8.16 grammars/source.idris.json