diff options
| author | Matthew Toohey | 2022-07-05 11:00:38 +0000 |
|---|---|---|
| committer | GitHub | 2022-07-05 11:00:38 +0000 |
| commit | d78354c537e00ddb0976efad1df49c90a224f107 (patch) | |
| tree | 0295e84bda9b8df88bd8db2d560cd974dd80bf1c /runtime/queries/ocaml-interface | |
| parent | b26e7e2e8fc900b5637d9772ecb74874e8794ecc (diff) | |
add language `idris` (#2971)
Diffstat (limited to 'runtime/queries/ocaml-interface')
0 files changed, 0 insertions, 0 deletions