Andreas Stadelmeier 9c098185a7 First implementation of Unify with Wildcards. Added rules and changed step 2		2022-10-25 22:07:59 +02:00
..
main/scala/hb/dhbw	First implementation of Unify with Wildcards. Added rules and changed step 2	2022-10-25 22:07:59 +02:00
test/scala	Fix expandLB	2022-06-15 21:21:52 +02:00