Title: A short biography of Tarini Prasad Jyotishi