D01 Dualność Curry-Howarda ( na komputerze)