Personal projects
View allLoading
Loading
About
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))
Info
Inria
Grenoble, France
8:55 AM
Member since July 01, 2025
GitLab upgrade completed. Current version is 17.11.6.
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))