Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-08-09 | nix repl: Support printing floating-point numbers | Eelco Dolstra | 1 | -0/+4 |
2017-07-30 | Replace Unicode quotes in user-facing strings by ASCII | Jörg Thalheim | 1 | -2/+2 |
2017-07-20 | nix-shell: Use bashInteractive from <nixpkgs> | Eelco Dolstra | 1 | -3/+3 |
2017-05-10 | Replace readline by linenoise | Eelco Dolstra | 1 | -105/+62 |
2017-04-28 | Check for libreadline | Eelco Dolstra | 1 | -0/+4 |
2017-04-25 | nix repl: Fix Ctrl-C | Eelco Dolstra | 1 | -0/+10 |
2017-04-25 | Minor cleanup | Eelco Dolstra | 1 | -10/+7 |
2017-04-25 | "using namespace std" considered harmful | Eelco Dolstra | 1 | -6/+5 |
2017-04-25 | nix repl: Use $XDG_DATA_HOME for the readline history | Eelco Dolstra | 1 | -3/+4 |
2017-04-25 | Make "nix repl" build | Eelco Dolstra | 1 | -32/+34 |
2017-04-25 | Cleanup in preparation of merging nix-repl repo into nix repo | Eelco Dolstra | 1 | -0/+719 |