Closed nox closed 10 years ago
Anthony - thanks for your email. We can take a look.
Simon
On 14 Sep 2013, at 13:57, Anthony Ramine notifications@github.com wrote:
R17 will probably include my implementation of EEP37 which allows expressions of the form:
fact() -> fun Fact(N) when N > 0 -> N * Fact(N - 1); Fact(0) -> 1 end Wrangler should be able to cope with these expressions.
— Reply to this email directly or view it on GitHub.
Simon Thompson | Professor of Logic and Computation School of Computing | University of Kent | Canterbury, CT2 7NF, UK s.j.thompson@kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt
Wrangler has been updated to handle fun expressions. Thanks!
R17 will probably include my implementation of EEP37 which allows expressions of the form:
Wrangler should be able to cope with these expressions.