Activity for unification_apl

  • Raoul Schorer committed [50d132]

    control flow seems correct now

  • Raoul Schorer committed [873fb9]

    almost correct, must be a wrong branch somewhere...

  • Raoul Schorer committed [c747c5]

    state reset for debugging

  • Raoul Schorer committed [154253]

    1st attempt written, now debug!

  • Raoul Schorer committed [ac4e3b]

    TODO: unify equate equateargs

1