git.iko.soy/Idris-dev
on master help sign in
history ofsrc/IRTS/Portable.hs
all commits
e3293d9Added missing RESERVENOALLOC case to ToJSON BC definitionMichal Kleczek 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 2035d6cUse native `atan2` function from backendAlex Queiroz 4a3fe0cLinearTypes extension improvementsEdwin Brady d4bd8e6Clean up unused imports (#4065)Jason Felice 5d7388bMove extensions into source filesEdwin Brady 044b51dAdd PrimFn missing cases for portable codegenmmhelloworld becd614More ambitious JSON generation from TTNiklas Larsson e4345f6bump formatVersionjoe9 2339c66add TT to CodegenInfojoe9 252383fFix some name in SExpr json exportNiklas Larsson e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 0896073Added documentation for modules.Jan de Muijnck-Hughes 80225afExport intermediate representation as JSONNiklas Larsson