12 Commits

Author	SHA1	Message	Date
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