Are you sure you want to leave Paper?
Continue to https://gist.githubusercontent.com/L-TChen/1b328d87369868e58291c94e78cb70f0/raw/768bb4a272b639e74eabaed4229237aee812f598/FLOLAC-STLC.lagda.md
Please turn on JavaScript to use Paper in all of its awesomeness. ^_^