on 385dcbf help sign in
all commits
4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson d4ce631Add :! for running shell commands from the REPLRyan Scott fb33d8cIndentation configuration via command line args.Steven Shaw 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan b73004a"Fix" unindented do blocks in let bindingsEcho Nolan bd4789cUse `fullExpr` instead of `typeExpr` in search(λ _ λ) 7973024Some internal structural Changes.Jan de Muijnck-Hughes 0896073Added documentation for modules.Jan de Muijnck-Hughes d2a8c3eFold portable into CodegenNiklas Larsson c292d12Moved REPLParser to be under REPL namespace.Jan de Muijnck-Hughes