Merge pull request #3 from nitta-lab/fixResource

Fork: 0

nitta-lab / RDLProofSystem

Browse code Merge pull request #3 from nitta-lab/fixResource > Resourceのequalsに残っていたgetTypeを削除しました確認したのでマージします． feature/axiom-inference-mk2 main
commit 711e0b5caf58cf80f87a3898f19818767f183c41 2 parents 420e35d + f21d84d Naoya Nitta authored 15 days ago

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View src/main/java/models/terms/Resource.java

Show line notes below