Martin Thoma 578245c784 Fix pseudocode 9 anni fa
..
Makefile c0bbfa6811 Add q-lambda 9 anni fa
README.md c0bbfa6811 Add q-lambda 9 anni fa
q-lambda.png 578245c784 Fix pseudocode 9 anni fa
q-lambda.tex 578245c784 Fix pseudocode 9 anni fa

README.md

Compiled example

Example