git.iko.soy/Idris-dev
on 7e43af7 help sign in
7e43af7Changed libs to new record syntax.Sune Alkærsig f36a8f7Revamped record elaboration.Sune Alkærsig aca1148Merge branch 'master' into agda-style-recordstdidriksen 6676b85Merge pull request #2001 from adamse/provided-postulates-docsDavid Christiansen 54fb787Documentation for provided postulatesAdam Sandberg Eriksson ad2f186Merge pull request #2000 from david-christiansen/better-fin-errorDavid Christiansen fd0bbc2Merge pull request #1996 from adamse/type-provider-docsDavid Christiansen c666166Improve Fin error rewriter to remove "fromInteger"David Raymond Christiansen d364982Improve rewriter for Fin.fromIntegerDavid Raymond Christiansen 774e2feAdd type providers docs test case to cabal fileAdam Sandberg Eriksson 972b2a5Update CHANGELOG for type provider docsAdam Sandberg Eriksson 6fe15eaAllow type providers to have docstringsAdam Sandberg Eriksson d1d6a7eMerge pull request #1983 from adamse/instance-docsDavid Christiansen ccc2af0instance docs: rename testcaseAdam Sandberg Eriksson c72c60aInstance docs: add test case to cabal fileAdam Sandberg Eriksson 9bc0b4aInstance docs: fix test caseAdam Sandberg Eriksson 7ba4da0Instance docs: instance parameter documentationAdam Sandberg Eriksson 8855d25Instance docs: align instance doc with member docAdam Sandberg Eriksson 75bf0d8Instance docs: simplify test caseAdam Sandberg Eriksson 540f817Instance docs: add one test caseAdam Sandberg Eriksson 7733fbaInstance docs: hide conflicting Err importAdam Sandberg Eriksson 9d45713Instance docs: add some instance docs to libsAdam Sandberg Eriksson df1a933Instance docs: factor away unnecessary try:sAdam Sandberg Eriksson 642efb3Instance docs: Update CHANGELOG and CONTRIBUTORSAdam Sandberg Eriksson 5ca59efInstance docs: haddocks grammarAdam Sandberg Eriksson 3d7aba5Instance docs: show in :doc outputAdam Sandberg Eriksson 17743d4Instance docs: let elabInstance add docstrings to contextAdam Sandberg Eriksson 2d205a6Instance docs: basic plumbing of types and parsingAdam Sandberg Eriksson e9c96d4Add test for FFI export (ffi006)Edwin Brady 5ae43bbSupport IO in foreign exportsEdwin Brady d4371e6Generate interface files for C->Idris callsEdwin Brady 20e1debFix irrelevance bugEdwin Brady 4313defPass export lists to CodegenInfoEdwin Brady f7648dbForeign export lists in IOEdwin Brady 49fffbcMerge pull request #1982 from david-christiansen/feature/ide-doc-overviewDavid Christiansen 83793a6Add the ability for IDEs to get documentation overviewsDavid Raymond Christiansen ec13063Merge pull request #1980 from david-christiansen/dsl-dollarsDavid Christiansen 16c3c3cMerge pull request #1964 from Chobbes/case_sensitivityEdwin Brady f7ac46aMerge pull request #1953 from Chobbes/stats_fixEdwin Brady c422009Merge pull request #1951 from Chobbes/setheap_fixEdwin Brady 62c386fMerge pull request #1950 from Chobbes/masterEdwin Brady ec06f94Change to a recoverable error in proof searchEdwin Brady c9b1759Fix type error in name reflectionDavid Raymond Christiansen 29553b6Prevent unquotations from being parsed as infix operatorsDavid Raymond Christiansen b56f5c1Merge pull request #1979 from david-christiansen/dsl-dollarsDavid Christiansen 2e93a50Allow DSLs to be applied with $David Raymond Christiansen 32171edMerge pull request #1977 from jfdm/stdio-effect-printDavid Christiansen 49b2d30Added 'Print' functions to STDIO effect.Jan de Muijnck-Hughes 97bc9dfMerge pull request #1973 from david-christiansen/wip/tacticalDavid Christiansen a1c42adAdd "rewrite" to new-style tacticsDavid Raymond Christiansen