RDLProofSystem / src / main / java / inference / axioms /
@Sakoda2269 Sakoda2269 authored 5 days ago
..
ArgumentConstraint.java 公理実装完了 5 days ago
ArgumentExtension.java ArgumentExtensionまで 6 days ago
ArgumentReduction.java 公理実装完了 5 days ago
CompositeMapping.java 公理実装完了 5 days ago
ConstantMapping.java 公理実装完了 5 days ago
Constantness.java test完了 6 days ago
DependencyExtension.java 公理実装完了 5 days ago
Identity.java test完了 6 days ago
LeftSubstitution.java test完了 6 days ago
MapComposition.java test完了 6 days ago
PseudoConstantness.java test完了 6 days ago
RightNormalization.java Uncurrying途中まで 7 days ago
RightSubstitution.java test完了 6 days ago
UncurriedMapping.java 公理実装完了 5 days ago
Uncurrying.java test完了 6 days ago