Zulip Chat Archive
Stream: new members
Topic: Inductive types private
Martin Dvořák (Mar 22 2022 at 10:59):
Why cannot inductive types be declared as private please?
Last updated: Feb 28 2026 at 14:05 UTC
Why cannot inductive types be declared as private please?
Last updated: Feb 28 2026 at 14:05 UTC