Krasimir Angelov 72682d6eb3 eliminate repeated rules

2026-01-08 08:53:01 +01:00

..

Command

remove the old evaluator

2025-11-13 18:54:40 +01:00

Compile

eliminate repeated rules

2026-01-08 08:53:01 +01:00

Data

faster and correct dependency checking

2026-01-02 08:20:52 +01:00

Grammar

partial implementation for dependently typed records

2026-01-03 16:14:51 +01:00

Infra

more helpful error when lin X is missing

2025-11-14 12:05:11 +01:00

JavaScript

reintroduce the compiler API

2024-01-18 20:58:10 +01:00

Server

the server package is now merged with the compiler

2024-10-14 16:56:35 +02:00

Speech

faster and correct dependency checking

2026-01-02 08:20:52 +01:00

System

reintroduce the compiler API

2024-01-18 20:58:10 +01:00

Text

reintroduce the compiler API

2024-01-18 20:58:10 +01:00

Compile.hs

cannonical export now may contain some resource modules with parameters

2025-04-11 10:47:43 +02:00

CompileInParallel.hs

now we can load PGF files as precompiled modules

2024-01-30 13:02:40 +01:00

CompileOne.hs

now we can load PGF files as precompiled modules

2024-01-30 13:02:40 +01:00

Compiler.hs

first draft for Diophantine grammars

2025-11-13 11:02:40 +01:00

CompilerAPI.hs

reintroduce the compiler API

2024-01-18 20:58:10 +01:00

Grammar.hs

The type signatures in Predef are no longer hard coded

2024-02-06 08:36:43 +01:00

Haskell.hs

reintroduce the compiler API

2024-01-18 20:58:10 +01:00

Interactive.hs

remove the old evaluator

2025-11-13 18:54:40 +01:00

Quiz.hs

reintroduce the compiler API

2024-01-18 20:58:10 +01:00

Server.hs

the server package is now merged with the compiler

2024-10-14 16:56:35 +02:00

Support.hs

reintroduce the compiler API

2024-01-18 20:58:10 +01:00