As time is approaching to start writing about my Master’s thesis I decided to resume writing on my blog. You should find here posts about my research in the area of Type theory, Idris and Finance.

Big kudos to creators of Hugo and terminal-theme