Sakoda2269
authored
14 days ago
|
|
.. |
|
|
|
|
ArgumentDependencyExtraction.java
|
ArgumentDependencyExtractionまで
|
18 days ago
|
|
|
CompositeMapping.java
|
dependency axiom unccuried mappingまで
|
19 days ago
|
|
|
Constantness.java
|
Right Normalizationまで
|
16 days ago
|
|
|
MapComposition.java
|
in, codomain membership, domain membershipを実装
|
14 days ago
|
|
|
RedundancyElimination.java
|
in, codomain membership, domain membershipを実装
|
14 days ago
|
|
|
RightNormalization.java
|
in, codomain membership, domain membershipを実装
|
14 days ago
|
|
|
RightSubstitution.java
|
ArgumentDependencyExtractionまで
|
18 days ago
|
|
|
UncurriedMapping.java
|
in, codomain membership, domain membershipを実装
|
14 days ago
|
|
|
Uncurrying.java
|
in, codomain membership, domain membershipを実装
|
14 days ago
|
