lambda_mountain 1.12.9

Lambda Mountain
Documentation
1
2
3
4
5

main := print-s (
   (eq (\l \l))
   \l
);