Fri, 08 Jul 2016 23:43:11 +0200 | haftmann | default rule for single-step reasoning | file | diff | annotate |
Mon, 04 Jul 2016 19:46:20 +0200 | haftmann | combinator to build partial equivalence relations from a predicate and an equivalenc relation | file | diff | annotate |