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: Apr 18 2024 at 23:01 UTC