途中まで

Fork: 0

k-sakoda / ResourceDependencyLogic

Browse code 途中まで main
1 parent b5eb4d5 commit ba9dddb2f4109d45cca777f0db91adf0ff763bfb Sakoda2269 authored on 20 Dec

Patch

Unified Split

Showing 6 changed files

Ignore Space Show notes View src/inference/equivalence/MetaSemanticEquivalenceRelation.java

Ignore Space Show notes View src/inference/equivalence/SemanticEquivalenceProofSystem.java

Ignore Space Show notes View src/models/terms/meta/MetaVariable.java

Ignore Space Show notes View src/models/terms/meta/OrderVariableConstraint.java

Ignore Space Show notes View src/tests/equivalence/SubstituteTest.java

Ignore Space Show notes View src/utils/ExpressionUitls.java 0 → 100644

Show line notes below