Remove trailing spaces from links

LINKS.md

@@ -1,21 +1,21 @@
-https://www.microsoft.com/en-us/research/blog/fp2-fully-in-place-functional-programming-provides-memory-reuse-for-pure-functional-programs/  
+https://www.microsoft.com/en-us/research/blog/fp2-fully-in-place-functional-programming-provides-memory-reuse-for-pure-functional-programs/
 
-https://medium.com/@octskyward/graal-truffle-134d8f28fb69#.jo3luf4dn  
-http://nez-peg.github.io/  
-https://en.wikipedia.org/wiki/DFA_minimization  
+https://medium.com/@octskyward/graal-truffle-134d8f28fb69#.jo3luf4dn
+http://nez-peg.github.io/
+https://en.wikipedia.org/wiki/DFA_minimization
 
-https://news.ycombinator.com/item?id=14589173  
-http://jamey.thesharps.us/2017/06/search-based-compiler-code-generation.html  
+https://news.ycombinator.com/item?id=14589173
+http://jamey.thesharps.us/2017/06/search-based-compiler-code-generation.html
 
-https://news.ycombinator.com/item?id=15105119  
-https://en.wikipedia.org/wiki/Tree_transducer  
+https://news.ycombinator.com/item?id=15105119
+https://en.wikipedia.org/wiki/Tree_transducer
 
 # Type-Driven Program Synthesis
-https://news.ycombinator.com/item?id=18251145  
-https://www.youtube.com/watch?v=HnOix9TFy1A  
-http://comcom.csail.mit.edu/comcom/#welcome  
-https://bitbucket.org/nadiapolikarpova/synquid  
+https://news.ycombinator.com/item?id=18251145
+https://www.youtube.com/watch?v=HnOix9TFy1A
+http://comcom.csail.mit.edu/comcom/#welcome
+https://bitbucket.org/nadiapolikarpova/synquid
 
 # Formality – An efficient programming language and proof assistant
-https://news.ycombinator.com/item?id=18230148  
-https://github.com/maiavictor/formality  
+https://news.ycombinator.com/item?id=18230148
+https://github.com/maiavictor/formality