News for hackers. Stuff that matters.

A comment on Not Growing a Language. Parent comment

Re:Not Growing a Language by a-nikolaev on Saturday April 03, 2021 @10:20PM (#26686412)
I think, you could also write

    Elliptic_curve_pt.Num_syntax.( (g ^ x) ^ y = g ^ xy )
instead of let open Elliptic_curve_pt.Num_syntax in ...
[ Parent | on HN ]

There are no comments on this comment yet.