Add benchmark for comparing PGF and LPGF

This commit is contained in:
John J. Camilleri
2021-02-17 10:04:36 +01:00
parent d3988f93d5
commit 6a7ead0f84
4 changed files with 32936 additions and 2 deletions

View File

@@ -1,3 +1,5 @@
module Main where
import LPGF
import PGF (showLanguage, readExpr)
import GF (compileToLPGF, writeLPGF)