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: Dec 01 2023 at 07:01 UTC