RDLProofSystem/src/main/java/models/terms at 424ec91e7957ff1f5bafb7d178344c19d7e0f3b5 - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 192 commits

RDLProofSystem / src / main / java / models / terms /

latest commit 424ec91e79 Sakoda2269 authored 20 days ago
	..
	meta	right sub実装まで	20 days ago
	Dependency.java	merge main	21 days ago
	DependencyTerm.java	merge main	21 days ago
	EvaluatableTerm.java	RDLTerm 以下の Type と Symbol を削除（RDLWorkbenchに委譲）	21 days ago
	LinearRightNormalizedType.java	ディレクトリ構造変更	4 months ago
	PrimedTerm.java	merge main	21 days ago
	RDLTerm.java	dynamicのsubstitutionを作成	20 days ago
	Resource.java	dynamicのsubstitutionを作成	20 days ago
	ResourceConstant.java	merge main	21 days ago