Merge pull request #940 from AndriyLin/master

add book "Programming in Martin-Löf's Type Theory" by Bengt Nordström