sweirich / trellys

Automatically exported from code.google.com/p/trellys
45 stars 6 forks source link

Switch to sepPP's conv syntax #21

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
That is, write
  conv e at (plus ~pf 1)
instead of
  conv e by pf at x.(plus x 1)

Original issue reported on code.google.com by vilhelm....@gmail.com on 4 Jul 2011 at 8:29