git.iko.soy/Idris-dev
on deaa136 help sign in
history ofcodegen/idris-codegen-javascript/Main.hs
all commits
4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 2842bacTidying of `idrisMain` (fixes #1454).Jan de Muijnck-Hughes d2a8c3eFold portable into CodegenNiklas Larsson b19d03cRemove --yes-reallyNiklas Larsson c382799improve the usage message a bit moreСухарик 524c223improve help messagesСухарик 18450ffavoid confusion between the compiler and codegensСухарик