During first year of Cambridge, I became quite interested in termination checking of ML like programs. I then implemented a super simple term checker in OCaml.
'%20fill='black'/%3e%3crect%20width='10'%20height='160'%20transform='matrix(-1%200%200%201%2020%2020)'%20fill='black'/%3e%3crect%20x='110'%20y='10'%20width='10'%20height='10'%20fill='black'/%3e%3crect%20x='110'%20y='30'%20width='10'%20height='10'%20fill='black'/%3e%3crect%20x='70'%20y='10'%20width='10'%20height='10'%20fill='black'/%3e%3crect%20x='70'%20y='30'%20width='10'%20height='10'%20fill='black'/%3e%3c/svg%3e)