Higher-order terms and Prolog support

Peter Ross petdr at cs.mu.OZ.AU
Tue Mar 16 15:27:03 AEDT 1999

Previous message: for review: mention lazy evalution in news
Next message: [m-dev.] Higher-order terms and Prolog support
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

While we are removing Prolog support, should we also not remove
the lamda notation for higher order terms?

Previous message: for review: mention lazy evalution in news
Next message: [m-dev.] Higher-order terms and Prolog support
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the developers mailing list