public struct Peano { public delegate Peano AppPeano(); public AppPeano? appPeano; public Peano(AppPeano? appPeano) { this.appPeano = appPeano; } public static Peano halt = new(null); public static Peano Iter(Peano peano) { return new(() => peano); } public static Peano omega = Iter(omega); }
4:37 AM
5 hours later…
13 hours later…
10:52 PM
would a question about advantages and drawbacks of different ways of implementing mathematical sets as a core language feature be on topic here? I haven't kept up with all the new rules
« first day (396 days earlier) ← previous day next day → last day (145 days later) »