Update app.py

app.py

@@ -18,6 +18,7 @@ import json
 import re
 import sqlite3
 from collections import defaultdict
+from typing import List
 
 # --- Constants ---
 DATABASE_FILE = 'gematria.db'