summaryrefslogtreecommitdiff
path: root/source/Megalodon.hs
diff options
context:
space:
mode:
authoradelon <22380201+adelon@users.noreply.github.com>2026-08-07 16:39:06 +0200
committeradelon <22380201+adelon@users.noreply.github.com>2026-08-07 16:39:06 +0200
commit1792f1b655dabfe314f25ec382d3cee2fbe00a5b (patch)
treee72d35c542ab2cddaae491a7864fc39abe5154c9 /source/Megalodon.hs
parent82328890108bae64b372b8d58620ebc62699de76 (diff)
Extend scope of prefix quantifiersHEADhotg
Diffstat (limited to 'source/Megalodon.hs')
0 files changed, 0 insertions, 0 deletions