Stream: Ltac2

Topic: printf %a

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