🦖

Rodrigo Mesquita alt-romes

🦖

GHC contributor, working on linear types, equality saturation, and in whatever else

alt-romes / getmusicdata.py

Last active May 18, 2020 10:36

Get all music genres from everynoise.com and create insert commands

	import requests
	everynoisetext = requests.get('http://everynoise.com/everynoise1d.cgi?scope=all').text

	import re
	allgenres = re.findall(r'style="color: #.?>(.?)<', everynoisetext)

	for genre in allgenres:
	print ('insert into MusicGenres values ("{}");'.format(genre))