Fix grammar errors in lambda calculus post
Add rebase-based workflow post