diff options
| author | Elizabeth Hunt <elizabeth@simponic.xyz> | 2025-03-01 12:36:47 -0700 |
|---|---|---|
| committer | Elizabeth Hunt <elizabeth@simponic.xyz> | 2025-03-01 12:36:47 -0700 |
| commit | 8dacee8f73633131fd68935c1e2493dc4beec837 (patch) | |
| tree | fc9adf76fce4761b01208ba2f44e72a6838244aa /src/engine/components/LambdaTerm.ts | |
| parent | d903bd9a13e790cf42c84c3dc59bf89ffeae1d80 (diff) | |
| download | the-abstraction-engine-8dacee8f73633131fd68935c1e2493dc4beec837.tar.gz the-abstraction-engine-8dacee8f73633131fd68935c1e2493dc4beec837.zip | |
updates
Diffstat (limited to 'src/engine/components/LambdaTerm.ts')
| -rw-r--r-- | src/engine/components/LambdaTerm.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/engine/components/LambdaTerm.ts b/src/engine/components/LambdaTerm.ts index 63e9889..5ac6215 100644 --- a/src/engine/components/LambdaTerm.ts +++ b/src/engine/components/LambdaTerm.ts @@ -1,7 +1,9 @@ import { Component, ComponentNames } from "."; +import { DebrujinifiedLambdaTerm } from "../../interpreter"; export class LambdaTerm extends Component { public code: string; + public last: null | { data?: DebrujinifiedLambdaTerm; error?: any } = null; constructor(code: string) { super(ComponentNames.LambdaTerm); |