- 17:41 Ticket #45 (hide GenIVal constructor) created by
- The point is to make it so that you can never build GConst 
- 16:45 WikiStart edited by
- 16:41 Ticket #44 (elementary tree semantics should be unification of tree schema and lemma ...) created by
- See also #43
- 16:38 Ticket #43 (support subsumption with unification variables in relations) created by
- Not just the arguments, but the relations themselves.
- 15:51 WikiStart edited by
- 14:33 Ticket #42 (remove IAF code) created by
- The index accessibility filtering code is not being maintained. It should …
- 14:32 Ticket #41 (separate trash pile for last operation performed) created by
- This should make it easier to figure out what GenI is doing and why.
- 18:17 Ticket #40 (geni: Prelude.foldr1: empty list) created by
- No idea why this happens.
Note: See TracTimeline for information about the timeline view.