src/engine/components/LambdaTerm.ts


1
2
3
4
5
6
7
8
9
10
11
12
13

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);

    this.code = code;
  }
}