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