tsconfig.tsbuildinfo

{"root":["./src/App.tsx","./src/AppComponent.tsx","./src/main.ts","./src/vite-env.d.ts","./src/__tests__/Formula.test.ts","./src/app/hooks.ts","./src/app/store.ts","./src/components_helper/ChoiceBubble.tsx","./src/components_helper/ErrorFeedback.tsx","./src/components_helper/InputGroupTitle.tsx","./src/components_helper/MessageBubble.tsx","./src/components_helper/SelectBubble.tsx","./src/components_helper/TooltipButton.tsx","./src/features/formulas/FormulaCard.tsx","./src/features/formulas/FormulaComponent.tsx","./src/features/formulas/formulasSlice.ts","./src/features/game/GameComponent.tsx","./src/features/game/GameControls.tsx","./src/features/game/GameHistory.tsx","./src/features/import/importThunk.ts","./src/features/language/LanguageComponent.tsx","./src/features/language/languageSlice.ts","./src/features/structure/InterpretationInput.tsx","./src/features/structure/StructureComponent.tsx","./src/features/structure/structureSlice.ts","./src/features/variables/VariablesComponent.tsx","./src/features/variables/variablesSlice.ts","./src/model/Expression.ts","./src/model/Language.ts","./src/model/Structure.ts","./src/model/formula/Formula.Conjunction.ts","./src/model/formula/Formula.Disjunction.ts","./src/model/formula/Formula.EqualityAtom.ts","./src/model/formula/Formula.Equivalence.ts","./src/model/formula/Formula.ExistentialQuant.ts","./src/model/formula/Formula.Implication.ts","./src/model/formula/Formula.Negation.ts","./src/model/formula/Formula.PredicateAtom.ts","./src/model/formula/Formula.UniversalQuant.ts","./src/model/formula/Formula.ts","./src/model/formula/QuantifiedFormula.ts","./src/model/term/Term.Constant.ts","./src/model/term/Term.FunctionTerm.ts","./src/model/term/Term.Variable.ts","./src/model/term/Term.ts","./lib/main.ts"],"version":"5.8.3"}