Commit 6fa100f6 authored by Danny Willems's avatar Danny Willems

Fix a more complex test

parent 10c5a7ae
\\B . \\A . \(x : A) . \(y : B) . proj1 (x, y);;
\\A . \\B . \(x : A) . \(y : B) . let p = (x, (y, (x, y))) in proj1 p;;
\\A . \\B . \(x : A) . \(y : B) . let p = (x, (y, (x, y))) in proj2 proj2 p;;
\\B . \(y : B) . let id = \\A . \(x : A) . x in (id [A] x, id [B] y);;
\\A . \(x : A) . \\B . \(y : B) . let id = \\A . \(x : A) . x in (id [A] x, id [B] y);;
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