impromptu explanation of coq by introduction in a deep codebase
i missed hackerspace
Follow
doing pickup has definitely wambified me a bit
not a lot, but it's noticeable
impromptu explanation of coq by introduction in a deep codebase
i missed hackerspace
doing pickup has definitely wambified me a bit
not a lot, but it's noticeable