Interaction-Calculus icon indicating copy to clipboard operation
Interaction-Calculus copied to clipboard
verified publisher icon VictorTaelin

nitpicks

Open adamnemecek opened this issue 2 years ago • 2 comments

adamnemecek avatar Jul 04 '23 05:07 adamnemecek

I'm already way past this state locally :(

VictorTaelin avatar Jul 04 '23 14:07 VictorTaelin

Push then.

adamnemecek avatar Jul 04 '23 15:07 adamnemecek