Skip to content

Milestones

List view

  • Print something out from K framework. Driver from #4 has to work to extent where > $ ./k2prolog foo.k will produce file `foo.pl` in directory of `foo.k` beginning with > %% -*- Mode: prolog; -*- If output is not valid Prolog then it should be commented in `foo.pl` like > %%% Definition.toString()? > %%% ...

    Overdue by 10 year(s)
    Due by June 19, 2016
    0/2 issues closed