Yo Dawg - I heard Coq like types so we put type in your type so you can type your types while you are typing your types

I heard Coq like types so we put type in your type so you can type your types while you are typing your types - Yo Dawg

Loading comments…

Comments