git.iko.soy/Idris-dev
on aeb032a help sign in
history ofsrc/IRTS/LangOpts.hs
all commits
d4bd8e6Clean up unused imports (#4065)Jason Felice 63944aaSimplify LV/DV constructor be removing unused caseThomas Scholtes e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 0896073Added documentation for modules.Jan de Muijnck-Hughes d5377beNew language-dependent FFIEdwin Brady 12abf74Re-enable inlining in Lang IREdwin Brady 92b02ccTMP: Turn off inliner since it breaks JS backendEdwin Brady 8353de5Find updatable constructors after destructive caseEdwin Brady