Format all examples using code formatter - Githubissues

polarity-lang / polarity

A Language with Dependent Data and Codata Types

https://polarity-lang.github.io

Apache License 2.0

57 stars 2 forks source link

Format all examples using code formatter #347

Closed BinderDavid closed 2 weeks ago