On 2018-05-02 12:08, Jonathan Protzenko wrote: > I generally use meta-programming to refer to any partial program > evaluation that is performed by F* at type-checking time instead of > being performed at run-time, but perhaps that's an incorrect term... > any suggestions for a better term? đ
I usually just call it partial evaluation, as you did above :) _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club