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: Dec 20 2023 at 11:08 UTC