1037 Commits

Author	SHA1	Message	Date
Krasimir Angelov	f637abe92e	steps towards an NLG language	2024-04-07 10:39:43 +02:00
Krasimir Angelov	81717e7822	fixed space leaks	2024-04-06 10:59:37 +02:00
Krasimir Angelov	614f4b2dc9	'reset' for delimited continuations	2024-03-15 09:11:26 +01:00
Krasimir Angelov	1fd0e9d8e2	fetch languages on demand to reduce database references	2024-03-14 20:05:19 +01:00
Krasimir Angelov	518e57141b	detect keywords in the lookahead	2024-03-08 09:27:01 +01:00
Krasimir Angelov	52c56feaf2	fix the disambiguation of html tags	2024-03-06 19:27:16 +01:00
Matheus Bernardo	1e6e84c5a6	Adding html tags to the parser and lexer	2024-03-01 16:52:15 +01:00
Krasimir Angelov	83d5c883c3	A pgf doesn't always have a file location	2024-02-08 16:40:24 +01:00
Krasimir Angelov	3b4f12e621	create lin/lincat can now fetch the definitions from the source grammar	2024-02-08 15:14:05 +01:00
Krasimir Angelov	ab30f1f9e5	fix the parsing for source commands	2024-02-08 13:38:45 +01:00
Krasimir Angelov	9fd1c5da80	The type signatures in Predef are no longer hard coded	2024-02-06 08:36:43 +01:00
Krasimir Angelov	9a6fc7fc9e	export Thunk, newThunk	2024-02-06 07:34:40 +01:00
Krasimir Angelov	d5871b120d	normalStringForm now returns a list	2024-02-06 07:31:19 +01:00
Krasimir Angelov	e74661c592	export the force function	2024-01-31 08:21:29 +01:00
Krasimir Angelov	c46dd599f9	restore commented out code	2024-01-31 08:20:59 +01:00
Krasimir Angelov	c94d0f31bc	now we can load PGF files as precompiled modules	2024-01-30 13:02:40 +01:00
Krasimir Angelov	021e271f29	an FFI for GF	2024-01-23 17:33:39 +01:00
Krasimir Angelov	a82095d117	reintroduce the compiler API	2024-01-18 20:58:10 +01:00
Krasimir Angelov	5e664b6f69	update	2024-01-17 14:45:46 +01:00
Krasimir Angelov	413e92e7c3	support ghc 9.4	2024-01-17 13:58:52 +01:00
Krasimir Angelov	88e3b2aac4	support ghc 9.4	2024-01-17 13:56:58 +01:00
Krasimir Angelov	e8f8044432	temporary add gf-scribe to the compiler	2024-01-17 13:17:04 +01:00
Krasimir Angelov	4c701e68e2	more general and simpler implementation for gluing	2023-12-16 12:29:13 +01:00
Krasimir Angelov	2631f0af8f	partial implementation for type inference with records	2023-12-01 15:26:24 +01:00
Krasimir Angelov	8540e44e9d	small fixes	2023-11-29 08:47:40 +01:00
Krasimir Angelov	5232364a9e	typechecking without Value<->Term conversion	2023-11-28 21:21:34 +01:00
Krasimir Angelov	1d64d166be	fix the so command in case of dependent types	2023-11-28 14:07:09 +01:00
Krasimir Angelov	54e06b5371	refactoring	2023-11-28 10:25:27 +01:00
Krasimir Angelov	6b9bda3328	fully restore the parser	2023-11-28 07:39:54 +01:00
Krasimir Angelov	eb71557627	ensure that metavariable IDs are always in sync	2023-11-27 13:46:21 +01:00
Krasimir Angelov	65002fb586	allow Exp instead of Exp1 for the source commands	2023-11-24 09:41:23 +01:00
Krasimir Angelov	4f28d2b3a3	the evaluator and the typechecker now share the same monad	2023-11-24 09:40:28 +01:00
Krasimir Angelov	bd9bd8b32f	the experimental typechecker is almost converted to the new evaluator	2023-11-24 08:35:11 +01:00
Krasimir Angelov	e996d78b18	make "cc", "so", "create lin", "create lincat" usable even without loaded grammar	2023-11-23 20:26:48 +01:00
Krasimir Angelov	511fdeee44	the normalForm for terms now compresses variants	2023-11-23 19:35:18 +01:00
Krasimir Angelov	fcc80b545d	started porting the experimental type checker to the new evaluator	2023-11-20 14:53:36 +01:00
Krasimir Angelov	dccb9681a2	started a graphviz visualization for the LR(0) automaton	2023-09-19 21:19:54 +02:00
Krasimir Angelov	d065e1de66	make it possible to download larger files but incremental upload	2023-09-07 15:04:34 +02:00
Krasimir Angelov	91681088ca	make it possible to download a grammar	2023-09-07 10:30:43 +02:00
Krasimir Angelov	a8630ddcd2	fix: [] + "ser" == "ser"	2023-04-06 11:36:21 +02:00
Krasimir Angelov	95b916339d	yet another detail with (+)	2023-03-30 12:05:44 +02:00
Krasimir Angelov	22c45d8d34	fix how (+) interacts with special tokens	2023-03-30 11:55:47 +02:00
Krasimir Angelov	66e0511141	gr and gt now take into account the -lang flag	2023-03-14 18:58:37 +01:00
Krasimir Angelov	92c2840b2b	restore the depth flag for gt and gr	2023-03-13 14:01:14 +01:00
Krasimir Angelov	9dc36a0f5f	added the "alter lin" command	2023-03-07 15:29:58 +01:00
Krasimir Angelov	ee717fb022	added random generation	2023-03-05 13:18:14 +01:00
Krasimir Angelov	f7ca8afa81	fast word completion for functions names in the shell	2023-03-02 10:28:00 +01:00
Krasimir Angelov	56d8ecd240	fix the compilation without a server	2023-02-24 08:49:39 +01:00
Krasimir Angelov	e879b374a7	remove duplicated module	2023-02-24 08:30:42 +01:00
Krasimir Angelov	310634bbe2	remove the import for Debug.Trace	2023-02-10 12:04:47 +01:00