9034 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Krasimir Angelov	3ee4f6ce9c	added MonadFix and fix how return is defined	2025-11-13 10:58:16 +01:00
Krasimir Angelov	b480ead393	pretty printing for VPatt	2025-10-14 08:43:29 +02:00
Krasimir Angelov	72028c7ae7	merge	2025-09-17 10:17:37 +02:00
Krasimir Angelov	09e98ed323	Merge pull request #180 from phantamanta44/majestic ... majestic: fix bubbling + type annotations for option metadata	2025-06-08 09:28:00 +02:00
Eve	f64d6b045b	Revert bubble re-implementation	2025-05-26 18:21:04 +02:00
Eve	9c422c8224	Type annotations for option labels + new bubble impl	2025-05-26 18:16:49 +02:00
Eve	6429ed7148	Choice-splitting versions of mapVariants and mapConstVs	2025-05-26 18:13:11 +02:00
Krasimir Angelov	e54f748efa	serialization for Markup and Reset	2025-05-18 07:08:11 +02:00
Krasimir Angelov	03421f6bc7	fix in the typechecking of one and default	2025-05-09 19:15:28 +02:00
Krasimir Angelov	d54fab0bbf	fix typo	2025-05-09 19:10:51 +02:00
Krasimir Angelov	3d7c8ade17	a draft for the generalized control operators	2025-05-09 18:58:27 +02:00
Krasimir Angelov	544bbd9049	special handling for empty variants in the bubbling	2025-05-05 11:46:50 +02:00
Krasimir Angelov	d5e3e8f649	whitespace	2025-05-03 07:32:06 +02:00
Krasimir Angelov	4c0644fd55	another bug in the typechecker	2025-05-03 07:31:44 +02:00
Krasimir Angelov	188b77b083	improvement on the typechecker	2025-05-02 13:52:17 +02:00
Krasimir Angelov	dbfa9e4faf	type inference for lambda abstractions	2025-04-16 12:29:50 +02:00
Krasimir Angelov	a9d4fecd33	added export for EPatt	2025-04-15 08:40:30 +02:00
Krasimir Angelov	cc4d07f168	Export a grammar in source format to JSON	2025-04-14 11:16:27 +02:00
Krasimir Angelov	3432e6f571	serialization for expressions in daison	2025-04-13 08:36:25 +02:00
Krasimir Angelov	c2d64efe68	cannonical export now may contain some resource modules with parameters	2025-04-11 10:47:43 +02:00
Krasimir Angelov	aa3a03e7af	Merge pull request #179 from phantamanta44/majestic ... majestic: predef evaluation + option..of construct	2025-04-06 17:25:16 +02:00
Krasimir Angelov	f0b42f4783	Merge pull request #178 from EkaterinaVoloshina/majestic ... Create ServerInstructions.md	2025-03-31 19:07:43 +02:00
Eve	b29ec2a47a	Option evaluation + basic repl support for option manipulation	2025-03-31 17:56:36 +02:00
Eve	8bd0d13dd6	Port builtin improvements to new evaluator + opt parsing	2025-03-31 17:54:06 +02:00
Eve	3de005f11c	Replace open term check for predefs with canonical term check	2025-03-31 17:54:06 +02:00
Eve	223604526e	Better predef evaluation semantics, avoid value2term	2025-03-31 17:54:06 +02:00
Ekaterina Voloshina	2361adad93	Create ServerInstructions.md	2025-03-31 13:35:15 +02:00
Krasimir Angelov	c95a526ca9	missed to add the JSON file	2025-03-27 14:29:38 +01:00
Krasimir Angelov	5dcd1108c7	take into account the result type during overload reasolution	2025-03-27 14:28:42 +01:00
Krasimir Angelov	e6c4775ade	the JSON dump now supports the entire GF language	2025-03-26 14:56:08 +01:00
Krasimir Angelov	65e4ca309c	Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic	2025-03-21 07:02:23 +01:00
Krasimir Angelov	4c24fc904d	another case for evaluation under a table	2025-03-21 07:00:58 +01:00
Inari Listenmaa	945cd65220	Merge pull request #176 from EkaterinaVoloshina/patch-1 ... excluded outdated info	2025-03-20 17:40:02 +01:00
Ekaterina Voloshina	3c5c8424e0	excluded outdated info	2025-03-20 17:38:14 +01:00
Krasimir Angelov	81d472235a	function application under tables	2025-03-20 16:06:33 +01:00
Krasimir Angelov	b0d363c311	added missing cases	2025-03-17 19:06:41 +01:00
Krasimir Angelov	a7c0be2fd5	fix typo	2025-03-14 07:38:33 +00:00
Krasimir Angelov	b008aa7de0	sketch an implementation for reset	2025-03-13 19:01:18 +00:00
Krasimir Angelov	271991ef10	added missing cases for VMarkup	2025-03-10 16:38:18 +00:00
Krasimir Angelov	e59ae98aa1	export bubble	2025-03-10 16:08:55 +00:00
Krasimir Angelov	88ae6bff71	added missing case for VCRecType	2025-03-10 14:42:36 +00:00
Krasimir Angelov	22a22aacbb	added evaluation for markup	2025-03-10 14:26:51 +00:00
Krasimir Angelov	854739eee4	support for non-flat forms	2025-03-10 15:22:59 +01:00
Krasimir Angelov	16f9f86248	start using the new typechecker and evaluator in the cc command	2025-03-10 15:22:31 +01:00
Krasimir Angelov	084ffa1ce9	fix quantification	2025-03-08 12:42:46 +00:00
Krasimir Angelov	344481634f	the pure evaluator	2025-03-07 23:27:05 +00:00
Krasimir Angelov	364c8c023c	switch to using pure functional evaluator	2025-03-07 20:50:28 +00:00
Krasimir Angelov	c9aadf7382	added missing case	2025-03-07 08:57:55 +01:00
Krasimir Angelov	d97292cfd4	AC_PROG_LIBTOOL not necessary anymore	2025-03-07 08:57:11 +01:00
Krasimir Angelov	84fa6522de	bump upper version of the network package	2025-02-26 12:06:29 +00:00