krangelov 56d47ad561 forgot to update the testsuite

2021-09-16 11:31:09 +02:00

..

basic.gf

added categoryProb, functionProb, functionIsConstructor

2021-08-12 11:10:27 +02:00

basic.hs

bugfixes for showContext & showType

2021-09-14 19:54:38 +02:00

basic.pgf

added categoryProb, functionProb, functionIsConstructor

2021-08-12 11:10:27 +02:00

transactions.hs

forgot to update the testsuite

2021-09-16 11:31:09 +02:00