Normalization by Evaluation for Martin-Löf Type Theory - View it on GitHub