diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-24 15:48:49 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-24 15:48:49 -0300 |
| commit | 9e158f5dc42cbc51fa89e3627d2fd20918915f8b (patch) | |
| tree | cd14f1fb35acb7fc1604aba31c1e96236a6d3397 /lib/kernel/SubstantialRelation.ml | |
| parent | 3eb816950451dd7074dbca6d4ac38662b0d30a75 (diff) | |
| download | RNT-9e158f5dc42cbc51fa89e3627d2fd20918915f8b.tar.gz RNT-9e158f5dc42cbc51fa89e3627d2fd20918915f8b.zip | |
translator for karuta subsystem
Diffstat (limited to 'lib/kernel/SubstantialRelation.ml')
0 files changed, 0 insertions, 0 deletions