index
:
lambda-nantes
main
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lambda-calcul
/
rust
/
sample
/
test_normal.txt
blob: 00abde9e1b07e1576c49055ab4dc19d5b41fd2bf (
plain
)
1
((lam x 1) ((lam x (x x)) (lam x (x x))))
