Three Tricks to Make Termination Obvious(gallais.github.io)1 points·by subtenante·9 anni fa·0 commentsgallais.github.ioThree Tricks to Make Termination Obvioushttps://gallais.github.io/blog/termination-tricks.html0 commentsPost comment—