Stream: Ltac2

Topic: printf %a


view this post on Zulip Jason Gross (Aug 27 2022 at 13:21):

Why does %a take unit -> 'a -> message rather than 'a -> message?


Last updated: Jan 31 2023 at 11:01 UTC