18 Commits (9edf7d72cdebf499b9461191d2dd25d6c520e50e)

Author SHA1 Message Date
Fredrik Ekre 02f0457782
Use xargs instead of mapfile for CI/git hook examples 1 year ago
Hugo LEVY-FALK 53260886fd
Add a test for empty file list in git hook suggestion (#26) 1 year ago
Fredrik Ekre 8904edd2a4
Refine installation and editor integration docs (#23) 1 year ago
Fredrik Ekre e7229cb65e
Add section on editor integration 1 year ago
Fredrik Ekre eb7f55bb6e
Add tests and commentary about `∈` in non-loop contexts 1 year ago
Fredrik Ekre b523eda6bc
Fix issue links in README 1 year ago
Fredrik Ekre f48f864502
Clarify indent levels of lists and update example 1 year ago
Fredrik Ekre 3262b70fb4
README improvements 1 year ago
Fredrik Ekre f24397eae5
Disallow more than three consecutive newlines (2 empty lines) 1 year ago
Fredrik Ekre d973e3af52
Fix alias note in the readme 1 year ago
Fredrik Ekre 143dc62200
Add alias tip to the readme 1 year ago
Fredrik Ekre c629ff898d
Add comment about line width limit to readme 1 year ago
Fredrik Ekre 49a6690cfa
README updates 1 year ago
Fredrik Ekre aca80fb706
Add things to README 1 year ago
Fredrik Ekre e669bc059a
Add installation and usage instructions to README 1 year ago
Fredrik Ekre f6e55f62e8
Format floating point literals. 2 years ago
Fredrik Ekre 01fea0da2f
Document spec in README 2 years ago
Fredrik Ekre b36568e721
Add initial files 2 years ago