git.iko.soy/Idris-dev
on b56ef01 help sign in
history ofcodegen/idris-codegen-node/Main.hs
all commits
26cb165Merge branch 'master' into exportiface_jsNiklas Larsson d4bd8e6Clean up unused imports (#4065)Jason Felice d3f9138interface parameter is passed to codegenRui Barreiro 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Сухарик