search

vlopezj / coq-course

Coq course at Chalmers CSE
37 stars 10 forks source link

Update session01.md #8

Closed bafain closed 7 years ago

AndreasLoow commented 7 years ago

I think uncontroversial commits like these can be pushed directly to master (at least imho). Doing pull requests for them is only unnecessary overhead, or what would be the point of them?

bafain commented 7 years ago

I didn't have write access.