search

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language
http://idris-lang.org
Other
3.43k stars 643 forks source link

Add .clang-format for RTS code #4402

Open jacereda opened 6 years ago

jacereda commented 6 years ago

It would be nice if potential contributors could hack on the code without worrying about indentation stuff. Could you add a .clang-format file to the project? Or would you accept a PR doing so?

melted commented 6 years ago

I don't have any problem with adding one. Maybe we should add it to the rts folder so we don't get so many dotfiles in the root dir.