diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-26 15:33:04 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-26 15:33:04 +0200 |
| commit | d79c85d70fc907858e3af5715bb94e8fdc202155 (patch) | |
| tree | dfe5abd1d17dd44fd58814071eff03a8b2e7c05b /test/golden/prooffix | |
| parent | ce03d33eaa7e9d37935f225d48459223a4004a50 (diff) | |
I implemented a parsing rule in concrete.hs
for local functions and a abstract type in abstract.hs
for the proof data structure.
Diffstat (limited to 'test/golden/prooffix')
0 files changed, 0 insertions, 0 deletions