git.iko.soy/Idris-dev
on master help sign in
history of79a43c8..master
compare
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 5bfe037Set the handles used for --client to use UTF-8Melvar Chen 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 99e4dafSimplify max and min for nats by removing ltemrb 9b13bd4data-lens is not a dep of idrisLeif Warner 67f7373Support builds that doesn't use cabal for libs and rtsniklas ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross