Merge pull request #2 from Sakoda2269/feature/meta-model2

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge pull request #2 from Sakoda2269/feature/meta-model2 MetaRDLTermにtypeCheckを追加 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
commit 3a7ef606376c0ef30e794886e2a2d5ca7647eaa6 2 parents a53c63b + f96caef Sakoda2269 authored on 23 Oct GitHub committed on 23 Oct

Patch

Unified Split

Showing 1 changed file

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

Show line notes below