- 01 Sep, 2018 4 commits
-
-
Erik de Castro Lopo authored
-
Erik de Castro Lopo authored
-
Erik de Castro Lopo authored
Add `-Wunused-do-bind -Wunused-local-binds -Wunused-top-binds -Wunused-matches` and fix all the things.
-
Erik de Castro Lopo authored
Add `-Wmissing-signatures` to `ghc-options`.
-
- 11 Jun, 2015 1 commit
-
-
Sumit Sahrawat authored
- Return of the newlines: Add all newlines once again - Provide better comments - Remove `sender` - Consistently use set and get prefixed functions
-
- 10 Jun, 2015 1 commit
-
-
Sumit Sahrawat authored
-
- 25 May, 2015 2 commits
-
-
Andrew Gibiansky authored
-
Andrew Gibiansky authored
-
- 20 Mar, 2015 1 commit
-
-
Andrew Gibiansky authored
-
- 08 Jan, 2014 2 commits
-
-
Andrew Gibiansky authored
-
Eyal Dechter authored
Added a parser for shell command line parsing that takes care of escaped whitespace and quotations. Addressed notes #116.
-
