| Sun, 17 Feb 2019 22:15:06 +0000 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Sat, 08 Oct 2016 12:16:17 +0100 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Thu, 22 Sep 2016 00:40:03 +0100 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Thu, 14 Jan 2016 17:19:40 +0000 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Wed, 06 Jan 2016 12:24:29 +0000 |
Christian Urban |
added type inference paper and updated Re.thy
|
file |
diff |
annotate
|
| Sat, 19 Dec 2015 23:51:31 +0000 |
Christian Urban |
added a proof about Values and PMatch
|
file |
diff |
annotate
|
| Fri, 18 Dec 2015 14:25:22 +0000 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| 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
|