Compare commits
merge into: suzanne.soy:master
suzanne.soy:master
suzanne.soy:fix-dependency-issues
suzanne.soy:core-reorg
suzanne.soy:faster-elim
suzanne.soy:fix-conversio
suzanne.soy:axioms
suzanne.soy:wishlist
suzanne.soy:better-errors
suzanne.soy:olly-rewrite
suzanne.soy:simple-sugar
suzanne.soy:issue-33
suzanne.soy:hybrid-core
suzanne.soy:package-split
suzanne.soy:typed-macros
suzanne.soy:elim-reduction
suzanne.soy:issue-26
suzanne.soy:issue-9
suzanne.soy:issue-24
suzanne.soy:issue-20
suzanne.soy:issue-23
suzanne.soy:typing-elim
suzanne.soy:redex-with-binding
suzanne.soy:fixing-the-repl
suzanne.soy:tactics
suzanne.soy:type-classes
suzanne.soy:actual-inductives
suzanne.soy:names
suzanne.soy:reflection
suzanne.soy:cross-modules
...
pull from: suzanne.soy:master
suzanne.soy:fix-dependency-issues
suzanne.soy:core-reorg
suzanne.soy:master
suzanne.soy:faster-elim
suzanne.soy:fix-conversio
suzanne.soy:axioms
suzanne.soy:wishlist
suzanne.soy:better-errors
suzanne.soy:olly-rewrite
suzanne.soy:simple-sugar
suzanne.soy:issue-33
suzanne.soy:hybrid-core
suzanne.soy:package-split
suzanne.soy:typed-macros
suzanne.soy:elim-reduction
suzanne.soy:issue-26
suzanne.soy:issue-9
suzanne.soy:issue-24
suzanne.soy:issue-20
suzanne.soy:issue-23
suzanne.soy:typing-elim
suzanne.soy:redex-with-binding
suzanne.soy:fixing-the-repl
suzanne.soy:tactics
suzanne.soy:type-classes
suzanne.soy:actual-inductives
suzanne.soy:names
suzanne.soy:reflection
suzanne.soy:cross-modules
These branches are equal. There is no need to create a pull request.