git.iko.soy/Idris-dev
on bb9a135 help sign in
history ofcodegen/idris-codegen-javascript/Main.hs
all commits
d4bd8e6Clean up unused imports (#4065)Jason Felice 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Сухарик