| Fri, 18 Dec 2015 10:11:01 +0000 | Christian Urban |
the algorithm is correct according to the Type Inference definition | file | diff | annotate |
| Fri, 18 Dec 2015 00:37:35 +0000 | Christian Urban |
added POSIX relation from the Type-Inference paper | file | diff | annotate |
| Thu, 17 Dec 2015 14:16:24 +0000 | Christian Urban |
cleaned up version of Re1 | file | diff | annotate |
| Fri, 19 Sep 2014 12:54:03 +0100 | Christian Urban |
added test version | file | diff | annotate |
| Wed, 10 Sep 2014 12:37:43 +0100 | fahadausaf | commit by fahad | file | diff | annotate |
| Tue, 09 Sep 2014 05:12:01 +0100 | Christian Urban |
started a few arguments for the ALT case | file | diff | annotate |
| Mon, 08 Sep 2014 21:13:36 +0100 | Christian Urban |
cleaned up the theory | file | diff | annotate |
| Mon, 08 Sep 2014 16:36:13 +0100 | Christian Urban |
getting back the original version by Sulzmann | file | diff | annotate |
| Mon, 08 Sep 2014 14:06:15 +0100 | Christian Urban |
initial version of the theory | file | diff | annotate |