Sha256: 889af45e1ac53982fcf09b2d6a62e59c420954660b0020568b0743e30c0960dc

Contents?: true

Size: 14 KB

Versions: 24

Compression: gzip

Compressed size: 2.86 KB

Stored size: 2.86 KB

Contents

Download

Version data entries

24 entries across 24 versions & 1 rubygems

Version Path
github-linguist-7.9.0 grammars/source.idris.json
github-linguist-7.8.0 grammars/source.idris.json
github-linguist-7.7.0 grammars/source.idris.json
github-linguist-7.6.1 grammars/source.idris.json
github-linguist-7.6.0 grammars/source.idris.json
github-linguist-7.5.1 grammars/source.idris.json
github-linguist-7.5.0 grammars/source.idris.json
github-linguist-7.4.0 grammars/source.idris.json
github-linguist-7.3.1 grammars/source.idris.json
github-linguist-7.3.0 grammars/source.idris.json
github-linguist-7.2.0 grammars/source.idris.json
github-linguist-7.1.3 grammars/source.idris.json
github-linguist-7.1.2 grammars/source.idris.json
github-linguist-7.1.1 grammars/source.idris.json
github-linguist-7.1.0 grammars/source.idris.json
github-linguist-7.0.0 grammars/source.idris.json
github-linguist-6.4.1 grammars/source.idris.json
github-linguist-6.4.0 grammars/source.idris.json
github-linguist-6.3.1 grammars/source.idris.json
github-linguist-6.3.0 grammars/source.idris.json