This repository has been archived by the owner on Jun 4, 2024. It is now read-only.

Beta Normalize #6

Merged

martyall merged 2 commits into master from b-normalize

Jan 13, 2024

Member

martyall commented Jan 13, 2024

Use beta-normalization to remove lambda abstraction / application
Simplify application of other reductions to core Expr language
Use Data.Sequence for ESeq constrcutor for efficiency

martyall added 2 commits

January 12, 2024 23:45


          use beta-normalization standards

f00b32d


          use Data.Sequence for Seq constructor for efficient concat and soc

b91d553

martyall merged commit b81eb08 into master

2 checks passed

martyall deleted the b-normalize branch

January 13, 2024 08:16

martyall restored the b-normalize branch

January 14, 2024 00:42

martyall deleted the b-normalize branch

January 25, 2024 05:07

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet