search

Munksgaard / session-types

MIT License
555 stars 21 forks source link

Add formatting check to CI #68

Closed Munksgaard closed 3 years ago

Munksgaard commented 3 years ago

Supersedes #40