l3-ENSL/pieuvre
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
main
pieuvre/tests/alpha_equiv/not_same_free.lam

2 lines
40 B
Plaintext
Raw Permalink Normal View History

tests de l'alpha équiv, commentaire de mon code
2024-05-19 20:44:07 +02:00
(fun (x : A) => z) & (fun (z : A) => z)
Reference in New Issue Copy Permalink