Normalization by evaluation for Martin-Löf Type Theory with dependent records - View it on GitHub