From fc7e9312d00e60171ed77c477ed91231d3dbfff9 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Sun, 12 Dec 2021 17:48:47 +0100
Subject: build: move modules into subproject directory

---
 language-web/src/main/js/index.tsx | 69 --------------------------------------
 1 file changed, 69 deletions(-)
 delete mode 100644 language-web/src/main/js/index.tsx

(limited to 'language-web/src/main/js/index.tsx')

diff --git a/language-web/src/main/js/index.tsx b/language-web/src/main/js/index.tsx
deleted file mode 100644
index d368c9ba..00000000
--- a/language-web/src/main/js/index.tsx
+++ /dev/null
@@ -1,69 +0,0 @@
-import React from 'react';
-import { render } from 'react-dom';
-import CssBaseline from '@mui/material/CssBaseline';
-
-import { App } from './App';
-import { RootStore, RootStoreProvider } from './RootStore';
-import { ThemeProvider } from './theme/ThemeProvider';
-
-import '../css/index.scss';
-
-const initialValue = `class Family {
-    contains Person[] members
-}
-
-class Person {
-    Person[] children opposite parent
-    Person[0..1] parent opposite children
-    int age
-    TaxStatus taxStatus
-}
-
-enum TaxStatus {
-    child, student, adult, retired
-}
-
-% A child cannot have any dependents.
-pred invalidTaxStatus(Person p) <->
-    taxStatus(p, child),
-    children(p, _q)
-  ; taxStatus(p, retired),
-    parent(p, q),
-    !taxStatus(q, retired).
-
-direct rule createChild(p):
-    children(p, newPerson) = unknown,
-    equals(newPerson, newPerson) = unknown
- ~> new q,
-    children(p, q) = true,
-    taxStatus(q, child) = true.
-
-indiv family.
-Family(family).
-members(family, anne).
-members(family, bob).
-members(family, ciri).
-children(anne, ciri).
-?children(bob, ciri).
-default children(ciri, *): false.
-taxStatus(anne, adult).
-age(anne, 35).
-bobAge: 27.
-age(bob, bobAge).
-!age(ciri, bobAge).
-
-scope Family = 1, Person += 5..10.
-`;
-
-const rootStore = new RootStore(initialValue);
-
-const app = (
-  <RootStoreProvider rootStore={rootStore}>
-    <ThemeProvider>
-      <CssBaseline />
-      <App />
-    </ThemeProvider>
-  </RootStoreProvider>
-);
-
-render(app, document.getElementById('app'));
-- 
cgit v1.2.3-70-g09d2