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: May 02 2025 at 03:31 UTC
Why cannot inductive types be declared as private please?
Last updated: May 02 2025 at 03:31 UTC