Zulip Chat Archive
Stream: new members
Topic: What is type A->B called?
Daniel Donnelly (Aug 28 2019 at 05:09):
What generally are they called where A,B can be any types? Is it "function"?
Daniel Donnelly (Aug 28 2019 at 05:33):
Nvm, thought of a different approach.
Johan Commelin (Aug 28 2019 at 05:35):
Function types are examples of so-called Pi types.
Last updated: May 02 2025 at 03:31 UTC