| 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 |