Text this: Programming Languages and Systems

導出完成 — 

 __   _      ___      ____       ___      ____    
| || | ||   / _ \\   |  _ \\    / _ \\   |  _ \\  
| '--' ||  | / \ ||  | |_| ||  / //\ \\  | |_| || 
| .--. ||  | \_/ ||  | .  //  |  ___  || | .  //  
|_|| |_||   \___//   |_|\_\\  |_||  |_|| |_|\_\\  
`-`  `-`    `---`    `-` --`  `-`   `-`  `-` --`