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