KeyboardShortcuts python_hypothesis: An experiment with property based testing elm_application: Learning routing in Elm