git.iko.soy/Idris-dev
on 9040aba help sign in
9040abaMerge pull request #1348 from david-christiansen/quasiquoteDavid Christiansen dac312bAdd goal types to quasiquotes.David Raymond Christiansen a3ccdefMerge pull request #1347 from raichoo/javascriptraichoo 5aee06cjavascript: fix stray semicolonraichoo 4ac55ccjavascript: inline some SLIDEs and PROJECTsraichoo 92c61eajavascript: optimize constructor allocationraichoo 5d4c8a0Merge pull request #1341 from bmsherman/improvedSearchDavid Christiansen 871c8b2Merge pull request #1331 from david-christiansen/quasiquoteDavid Christiansen e08a18dMerge remote-tracking branch 'refs/remotes/upstream/master' into quasiquoteDavid Raymond Christiansen ae5c48aFix type error in generated quasiquote patternsDavid Raymond Christiansen 86b1a78Merge pull request #1327 from melted/nocabalEdwin Brady d7f6164Ignore believe_me in :search since its type is a lie!bmsherman e1ba862Find best matching types first in :search with a priority queue.bmsherman d19891cDiscover typeclass introduction/elimination in :searchbmsherman eec9953In :search, check injectivity to prevent erroneous resultsbmsherman 7e329c9Merge pull request #1340 from raichoo/javascriptraichoo 33d6d70javascript: a few HLint adjustmentsraichoo a88c208javascript: display unsupported instruction as commentsraichoo e4d23ecjavascript: remove old namespacesraichoo c82427bjavascript: fix indentation errorraichoo b641b9aMerge pull request #1339 from raichoo/javascriptraichoo 81e8dfcjavascript: do not include jsbn if not neededraichoo 146dda2Merge pull request #1338 from raichoo/javascriptraichoo e336478adjusted CHANGELOGraichoo 9d3822djavascript: implement %lib directive for noderaichoo 1153028Update comments to fit the state of the codeDavid Raymond Christiansen ee11033Elaborate quasiquote patterns to something usefulDavid Raymond Christiansen 6d4d442Merge pull request #1333 from bmsherman/improvedSearchDavid Christiansen 7062857Merge pull request #1330 from mrb/simplify_nat_max_minDavid Christiansen 5c485fdMerge pull request #1332 from Heather/systemDavid Christiansen e1ef65dUse a priority queue to improve performance when matching types in :searchbmsherman 66235b7add system FFun to base/SystemHeather 6e3fd45Implement unquoting for the rest of PTermDavid Raymond Christiansen 114a307Prevent possibility of unbounded computation in :searchbmsherman 522c3d8Add assoc, commut, and idemp proofs for min and maxmrb 79a43c8Merge remote-tracking branch 'upstream/master' into quasiquoteDavid Raymond Christiansen 9a3082bAdd simple test for quasiquotationsDavid Raymond Christiansen 84cdb10Quasiquotes in CHANGELOGDavid Raymond Christiansen 36785b5Allow reflecting types with quasiquote patternsDavid Raymond Christiansen 1ecd340Support simple quasiquote patternsDavid Raymond Christiansen 99e4dafSimplify max and min for nats by removing ltemrb 6a5a1f3Initial support for unquotesDavid Raymond Christiansen 88d5ab0adjusted CHANGELOGraichoo 853a634Merge pull request #1329 from raichoo/javascriptraichoo 2fafe80Merge pull request #1328 from raichoo/javascriptraichoo 464a4b9make doc tests passraichoo 43f0c91javascript: more FFI workraichoo eeec833javascript: add browser runtimeraichoo 4d3fdf4javascript: compile single branch switch to seqraichoo a10f705javascript: load includesraichoo