Datasets:

bigcode
/

commitpack

Languages:

ArXiv:

License:

Dataset card Files Files and versions

commitpack / data /agda /agda-0001.jsonl

root

Add all data

5ee3c45 over 3 years ago

47.1 MB

This file is stored with Xet . It is too big to display, but you can still download it.

Xet Pointer Details

( Raw pointer file )

Xet hash:: 51c69c958a52a384cf8422fb749d35fd8bdc5ac98f05977bc2574fee19abc024
Size of remote file:: 47.1 MB
SHA256:: 9753c15378c2b0435156b5c0c433a037e961022295be11720a7f4d594dfb2870

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.