5 Commits

Include renames

Author	SHA1	Message	Date
krangelov	275f8f37ce	handle pre when it is in the arguments of a Predef function	2021-12-19 10:43:06 +01:00
krangelov	38d189f8ef	bugfix for predefined operations	2021-10-21 08:55:22 +02:00
krangelov	fd6cd382c5	added VGlue to cover the case where we can't precompute the glue	2021-10-05 19:39:24 +02:00
krangelov	3c4e7dd20c	partial evaluation for (+)	2021-10-05 15:37:42 +02:00
krangelov	26be741dea	most primitives in Predef.gf are now implemented	2021-10-05 11:31:39 +02:00