git.iko.soy/Idris-dev
on 803dd59 help sign in
803dd59javascript: avoid name captureraichoo d557267javascript: WIPraichoo c47bd86javascript: unlock primitivesraichoo 8c3a1efjavascript: pass more testsraichoo cecc1fejavascript: handling bigintsraichoo 31f9833javascript: fix caseconstraichoo 27c306fjavascript: WIPraichoo 5d5baa3javascript: experimental backend compiles hello worldraichoo 18c33c5Merge pull request #1324 from bmsherman/improvedSearchDavid Christiansen 007e2eaMerge pull request #1326 from CodeBlock/spellingfixDavid Christiansen 48a9659fix spelling of "parenthesise"Ricky Elrod f91051aIgnore default class methods in :searchbmsherman 852301dImprovements to :search, primarily in handling typeclassesbmsherman 22b2548Merge pull request #1323 from bmsherman/parenthasizeInfixDavid Christiansen c4eca4fMerge branch 'master' into parenthasizeInfixbmsherman 7d38943Proper and complete parenthasization of infix operator names.bmsherman fc6f5feMerge pull request #1322 from bmsherman/equalDeclDavid Christiansen c4ce749Parenthasize infix names in REPL outputbmsherman 802c248Make type arguments in (=) declaration implicit (for docs)bmsherman 76f8684Merge pull request #1317 from melted/net_fixDavid Christiansen ae70154Merge pull request #1319 from Melvar/decide-LTEDavid Christiansen 3f48ea4Add decision procedure for Prelude.Nat.LTEMelvar Chen 4feaf8fUnbreak windows build of idris_net.cniklas 2128f26Merge pull request #1314 from WithHat/masterDavid Christiansen cebd1b4Merge pull request #1315 from david-christiansen/serialized-termsDavid Christiansen 144dfcfPreserve bound var info across implicitness changesDavid Raymond Christiansen e245d48Maintain pretty-printer bound varsDavid Raymond Christiansen da6ed85Annotate displayed IDE metavars with original termsDavid Raymond Christiansen bc88c8aFix idris.cabal properly this time...Edwin Brady f9fe153Remove oldeffectsEdwin Brady fec66deFix idris.cabalEdwin Brady b2653e4Added experimental neweffects libraryEdwin Brady b836abcSend original terms in error messagesDavid Raymond Christiansen f50b357Add commands for working with serialised termsDavid Raymond Christiansen 2c8d61cShorthand syntax for default case alternativesEdwin Brady 7c0b7e8C99 fixEdwin Brady 80d1a88Fix implicit spotting in case blocksEdwin Brady b92213cUpdate Network libraryEdwin Brady d1a832aSend serialized versions of TT terms in pprintDavid Raymond Christiansen 157ffadRemoved Unicode character from source fileDominik Peteler f48942bMerge pull request #1313 from jfdm/libs/documentationEdwin Brady 930f16a"auto" now does proof searchEdwin Brady aa7caa9Fixed makefile spacing issuesJan de Muijnck-Hughes 9f77626Modified makefiles to add local IdrisDoc generation.Jan de Muijnck-Hughes 8a8faa8Merge pull request #1310 from Melvar/update-hvectEdwin Brady 5d046b8Merge pull request #1309 from jfdm/effects-documentationEdwin Brady 2f32ab8Merge pull request #1308 from jfdm/latexpkg-updatesEdwin Brady 239b94dMerge pull request #1304 from Heather/patch-1Edwin Brady 7fb6944Add explicit -DHAS_PTHREADEdwin Brady 35b22b9Remove unnecessary testEdwin Brady