git.iko.soy/Idris-dev
on bf4e535 help sign in
history ofsrc/Idris/Elab/Provider.hs
all commits
e1f139aLibrary rearrangement done.David Raymond Christiansen 54fb787Documentation for provided postulatesAdam Sandberg Eriksson 6fe15eaAllow type providers to have docstringsAdam Sandberg Eriksson c7af383Use a proper conversion check for type provider typesDavid Raymond Christiansen e90316aSupport type errors in docstringsDavid Raymond Christiansen 37292e1Save terms in docstringsDavid Raymond Christiansen c72d0f4Split elaborator into multiple source filesEdwin Brady