lambda.gfs « paraphrase « testsuite - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/testsuite/paraphrase/lambda.gfs

blob: 54b0708cb2600844769baccdad483f6d17ea5b0c (plain)

i testsuite/paraphrase/lambda.gf

pt -compute f1
pt -compute f2

pt -compute d D1
pt -compute d D2
pt -compute d D1 1
pt -compute d D2 1