Opened 3 years ago

Closed 3 years ago

#1261 closed task (fixed)

Rename the module exported by the kanren egg

Reported by: mario Owned by: ashinn
Priority: major Milestone: someday
Component: extensions Version: 4.10.x
Keywords: kanren, mini-kanren Cc:
Estimated difficulty:


According to the discussion in , Alex and Jeremy agreed on renaming the module exported by the kanren egg, to avoid confusion with the one exported by the new egg mini-kanren.

Change History (1)

comment:1 Changed 3 years ago by ashinn

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.