Re: [polyml] Metaprogramming

2021-10-10 Thread Makarius
On 09/10/2021 13:46, Anton Lobach wrote: > Hello, > > Does PolyML support any form of metaprogramming? For Isabelle/ML, which is based on Poly/ML at the bottom, we are using old-school runtime evaluation a lot. Here is a tiny spin-off for raw Poly/ML: https://stackoverflow.com/questions/9555790

[polyml] Metaprogramming

2021-10-10 Thread Anton Lobach
Hello, Does PolyML support any form of metaprogramming? Best, Anton ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml