aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/league.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-04-16 09:07:28 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-04-16 09:07:28 -0400
commit2b1c2fd0321b3ee072f6d9f43a3e908ec49e3251 (patch)
tree3c27c47030d0fa9447787ec64cd2936b510d935e /tests/league.ur
parent10299ec87da6adeca1068df2ec8e1e5afce7bb85 (diff)
Fix monoization of recursive variants
Diffstat (limited to 'tests/league.ur')
0 files changed, 0 insertions, 0 deletions