-
TestReadyForMPTCandFunDeps
Now multi-parameter type classes and functional dependencies can be tested.
-
lkrueger-ma-thesis Release: lkrueger-ma-thesis
Status at the end of the master's thesis of Leif-Erik Krüger (26.10.2021)
Now multi-parameter type classes and functional dependencies can be tested.
Status at the end of the master's thesis of Leif-Erik Krüger (26.10.2021)