diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-10 23:10:11 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-09-10 23:10:11 -0300 |
| commit | efe8032f7e224c29fc67a4f8cfd52db908442eec (patch) | |
| tree | b18c72c18955b08362a87e8dce14218488a23f56 /lib/kernel/Multigroup.mli | |
| parent | 543a35109cb23b464abd26a234b08b4060fe28ba (diff) | |
| download | RNT-efe8032f7e224c29fc67a4f8cfd52db908442eec.tar.gz RNT-efe8032f7e224c29fc67a4f8cfd52db908442eec.zip | |
terrible writing fix on evaluators doc
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions