GHC embeds linker flags into the final ELF binary:
I turned to my own Jacinda to view the output of otool and was pleasantly surprised.
The GNU sed manual offers the following to join backslash-continued lines:
One can define a Num instance in Haskell for ASTs of expressions, viz.
If we wish to preserve global uniqueness of names during \(\beta\)-reduction, we have to \(\alpha\)-rename before each substitution. Consider:
prev | next