-rw-r--r-- | 46 | .gitignore | blob | history | raw |
-rw-r--r-- | 35141 | LICENSE | blob | history | raw |
-rw-r--r-- | 843 | README.md | blob | history | raw |
-rw-r--r-- | 7734 | conversion.py | blob | history | raw |
-rw-r--r-- | 8436 | desugaring.py | blob | history | raw |
drwxr-xr-x | - | examples | tree | history |
-rw-r--r-- | 7745 | generation.py | blob | history | raw |
-rwxr-xr-x | 161 | grind.sh | blob | history | raw |
-rw-r--r-- | 4092 | integration_tests.py | blob | history | raw |
-rw-r--r-- | 662 | main.py | blob | history | raw |
-rw-r--r-- | 13262 | normalization.py | blob | history | raw |
-rw-r--r-- | 19486 | parsing.py | blob | history | raw |
-rw-r--r-- | 14 | requirements.txt | blob | history | raw |
drwxr-xr-x | - | templates | tree | history |
-rw-r--r-- | 9400 | tokenization.py | blob | history | raw |
-rw-r--r-- | 11968 | transformation.py | blob | history | raw |
-rw-r--r-- | 642 | util.py | blob | history | raw |