{"shas":[["062b9b0266506baa0cddef7c2abdcf67fef157bf","3e3f4683fc8681910829f55e96e4b04ecdf7c6eb@fhcrc.org","before moving to pprable for mapsSets","Erick Matsen"],["dc0b46e2bbd5424b04c8cc1f1df353c08492f5a0","3e3f4683fc8681910829f55e96e4b04ecdf7c6eb@fhcrc.org","mapsSets now uses a much smarter ppr setup","Erick Matsen"],["14da3c8571fa770e301099c88881657f6319bffd","dbaf6e9e1430d11600e790a1c51cd1f679d5e81b@gmail.com","Refactoring MapsSets; removing the need for SetFuns and MapFuns.","Aaron Gallagher"],["8541ec85a1d4ae376cb44d9f6f9fefdc85f1125a","dbaf6e9e1430d11600e790a1c51cd1f679d5e81b@gmail.com","Merge branch 'dev' into convex","Aaron Gallagher"],["8722fd963660d00daafdec51fd81ed54d3bc7cdd","dbaf6e9e1430d11600e790a1c51cd1f679d5e81b@gmail.com","Cleaning up convex.mli; starting to implement convex.ml.","Aaron Gallagher"]],"repo":"matsen/pplacer","actor":"habnabit","ref":"refs/heads/convex","size":5,"head":"8722fd963660d00daafdec51fd81ed54d3bc7cdd","actor_gravatar":"2c2f9d59e797ad575432d1da7681ce78","push_id":30757487}