| .. |
|
parser
|
Fix parsing of (λx.x)λx.x
|
2021-02-03 16:09:58 +01:00 |
|
step
|
better handling of optionals
|
2021-02-04 09:27:46 +01:00 |
|
term
|
better handling of optionals
|
2021-02-04 09:27:46 +01:00 |
|
type
|
Additional TypeAbstraction constructor, for that implement getFreeTypeVariables() on types
|
2021-02-04 10:17:54 +01:00 |
|
Conclusion.java
|
Tree test visit(varTerm), implement TypeAbstraction::instantiate()
|
2021-01-30 22:51:14 +01:00 |
|
Constraint.java
|
Unification tests, miscellaneous code style fixes
|
2021-01-30 10:32:15 +01:00 |
|
Model.java
|
Model und ModelImpl
|
2021-01-27 21:59:39 +01:00 |
|
ModelImpl.java
|
TypeAssumptionParser und ModelImpl angepasst
|
2021-02-03 13:40:56 +01:00 |
|
package-info.java
|
Test for TypeVariableFactory, refactor TypeVariableKind due to typo
|
2021-01-30 14:21:25 +01:00 |
|
Substitution.java
|
Implement TypeInferenceResult
|
2021-01-31 12:15:10 +01:00 |
|
Tree.java
|
Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc
|
2021-02-04 09:27:56 +01:00 |
|
TypeInferenceResult.java
|
Test for TypeInferenceResult::getType(); sort mgu by kind, then index; checkstyle
|
2021-02-03 07:50:52 +01:00 |
|
TypeInferer.java
|
Unification implementation
|
2021-02-02 10:29:45 +01:00 |
|
TypeInfererInterface.java
|
Actually consider @NonNullFields and @NonNullApi
|
2021-01-29 08:22:06 +01:00 |
|
TypeInfererLet.java
|
better handling of optionals
|
2021-02-04 09:27:46 +01:00 |
|
TypeVariableFactory.java
|
Test for TypeVariableFactory, refactor TypeVariableKind due to typo
|
2021-01-30 14:21:25 +01:00 |
|
Unification.java
|
Test for TypeInferenceResult::getType(); sort mgu by kind, then index; checkstyle
|
2021-02-03 07:50:52 +01:00 |
|
UnificationError.java
|
Unification tests, miscellaneous code style fixes
|
2021-01-30 10:32:15 +01:00 |
|
UnificationStep.java
|
Test for TypeInferenceResult::getType(); sort mgu by kind, then index; checkstyle
|
2021-02-03 07:50:52 +01:00 |
