Skip to content

Commit 25b66b9

Browse files
committed
refactor: eradicate ReScript and mechanically port to AffineScript
1 parent 28976b0 commit 25b66b9

122 files changed

Lines changed: 357 additions & 9636 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
3+
// Ported via Harvard Engine bulk-processor
4+
5+
module ContradictionDetector;
6+
7+
// TODO: Complete semantic implementation

fogbinder/lib/ocaml/ContradictionDetector.res

Lines changed: 0 additions & 104 deletions
This file was deleted.
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
3+
// Ported via Harvard Engine bulk-processor
4+
5+
module EpistemicState;
6+
7+
// TODO: Complete semantic implementation

fogbinder/lib/ocaml/EpistemicState.res

Lines changed: 0 additions & 98 deletions
This file was deleted.
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
3+
// Ported via Harvard Engine bulk-processor
4+
5+
module EpistemicState.test;
6+
7+
// TODO: Complete semantic implementation

0 commit comments

Comments
 (0)