[MacPorts] #45152: pure-reduce @0.4: new port submission

[MacPorts]

#45152: pure-reduce @0.4: new port submission
--------------------------+--------------------------
  Reporter:  aggraef@…    |      Owner:  ryandesign@…
      Type:  submission   |     Status:  assigned
  Priority:  Normal       |  Milestone:
 Component:  ports        |    Version:  2.3.1
Resolution:               |   Keywords:
      Port:  pure-reduce  |
--------------------------+--------------------------

Comment (by aggraef@…):

 Replying to [comment:4 aggraef@…]:
 > In fact I'd say that the pure-reduce+pure-texmacs combo offers a much
 nicer interface to Reduce than Reduce itself. ;-) See a screenshot here:
 https://bitbucket.org/purelang/pure-lang/wiki/TeXmacs

 NB: We should really see whether we can make the latest TeXmacs work in
 MacPorts and then add the Pure TeXmacs plugin to the Pure port. It's very
 nice and is being used a lot by engineers. I actually have this working on
 my MacBook here, but it uses a recent binary TeXmacs package available
 from http://www.texmacs.org. The TeXmacs version currently in MacPorts is
 ancient and doesn't work for that (it lacks plugin support IIRC).

-- 
Ticket URL: <https://trac.macports.org/ticket/45152#comment:9>
MacPorts <http://www.macports.org/>
Ports system for OS X