git.iko.soy/Idris-dev
on 1b71663 help sign in
history ofsrc/Idris/Core/WHNF.hs
all commits
3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 4a3fe0cLinearTypes extension improvementsEdwin Brady d4bd8e6Clean up unused imports (#4065)Jason Felice 5d7388bMove extensions into source filesEdwin Brady 9e69858Fixed unstylized things in Idris and stylize.sh scriptAhmad Salim Al-Sibahi a5033e7Add linear LamEdwin Brady e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady e3daf28Add RigCount to environmentEdwin Brady ea88b5eBetter choice of pattern to inspect in coverageEdwin Brady 3a881e6Fix whnfArgs naming errorEdwin Brady 7818396Don't whnf binder typesEdwin Brady d0671a3Use WHNF in a few placesEdwin Brady 3612623More WHNF editsEdwin Brady b0130d6Add whnfArgsEdwin Brady b28f12bWHNF takes an environmentEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 0896073Added documentation for modules.Jan de Muijnck-Hughes 9297ae4Allow 'data' declarations in interfacesEdwin Brady 68c519eConvert comments in WHNF.hs to HaddockDavid Raymond Christiansen a24c7d4Finish WHNF for operatorsEdwin Brady 89566a8Finish WHNF implementation for case treesEdwin Brady 64df5f6Added WHNF moduleEdwin Brady