git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofsrc/Idris/Core/WHNF.hs
all commits
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