A small note I wanted to keep track of on First Steps in Synthetic Guarded Domain Theory - View it on GitHub