{"shas":[["d5655906b8c4e9eeddfcf9ca50f716f34433b8c6","95388dca3a9ff8d1804e48812625da6838b77345@gmail.com","Getting rid of patterns in lambda calculus.","Piotr Kaleta"],["da65b661b7dfb2e8bc2026025a75f223d54c3f62","95388dca3a9ff8d1804e48812625da6838b77345@gmail.com","Thrown away unnecessary trace.","Piotr Kaleta"],["c04b07a583370ba49a79ab3ac024b5c727c4e250","95388dca3a9ff8d1804e48812625da6838b77345@gmail.com","Fixed bug in naming variables.","Piotr Kaleta"],["cdffce43daf49ca9f07418fe4a5d3ec1bd423aa6","95388dca3a9ff8d1804e48812625da6838b77345@gmail.com","Moar examples, failing letrec example, minor fixes.","Piotr Kaleta"],["78d5ff1083e8274d01bce23470b349a7fb4dd633","95388dca3a9ff8d1804e48812625da6838b77345@gmail.com","Merge with master.","Piotr Kaleta"],["05ad24659b6aa8e524959cb28180bd5adaf803a9","95388dca3a9ff8d1804e48812625da6838b77345@gmail.com","Fixed error in case of simple case expressions and the default case branch. Added test.","Piotr Kaleta"],["c73d521a403557c6f2140523815dd0eaad4410eb","95388dca3a9ff8d1804e48812625da6838b77345@gmail.com","LambdaLifter is compiling again.","Piotr Kaleta"],["8c1eacb770000b6ab89ba73a9c66ed54b93e6913","95388dca3a9ff8d1804e48812625da6838b77345@gmail.com","DependencyAnalyser is compiling again.","Piotr Kaleta"],["adabdc919600bab99431eca5f90b164b14c58c8b","95388dca3a9ff8d1804e48812625da6838b77345@gmail.com","Fixing issues with reactivating LambdaLifter and DependencyAnalyser","Piotr Kaleta"]],"ref":"refs/heads/let-transform","size":9,"head":"adabdc919600bab99431eca5f90b164b14c58c8b","push_id":35772784}