summaryrefslogtreecommitdiff
path: root/miniagda.cabal
diff options
context:
space:
mode:
authorTom Smeding <t.j.smeding@uu.nl>2024-01-20 23:25:51 +0100
committerTom Smeding <t.j.smeding@uu.nl>2024-01-20 23:25:51 +0100
commit43b4a4e3564c602a0da9c7ea9a6fc8d60087cd6e (patch)
treedeee0de9c359aebfb6c517d12002d519a83a3b07 /miniagda.cabal
parent07a64a3096b1e48fd240d19e51f3448dd9402787 (diff)
Some typing rule commentsHEADmaster
Diffstat (limited to 'miniagda.cabal')
0 files changed, 0 insertions, 0 deletions