Zulip Chat Archive
Stream: general
Topic: Arbitrarily structurally recursive types
Notification Bot (May 19 2022 at 00:08):
This topic was moved to #lean4 > inductive type with dependent recursive substructure by Mario Carneiro.
Last updated: May 02 2025 at 03:31 UTC