Commit 78f42c9a authored by Philip Kaludercic's avatar Philip Kaludercic 🌝
Browse files

Merge branch 'in53uqud-master-patch-37570' into 'master'

fix typo korekursion.tex

See merge request !3
parents 5974fe08 dcfd1b9c
......@@ -18,7 +18,7 @@ hd (genl t) = node t
tl (genl t) = genl (left t)
hd (genr t) = node t
tl (genr t) = genl (right t)
tl (genr t) = genr (right t)
hd (const x) = x
tl (const x) = const x
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment