afraca

from selenium import webdriver
from selenium.webdriver.firefox.firefox_profile import FirefoxProfile
from selenium.webdriver.remote.webelement import WebElement
from selenium.common.exceptions import *
from selenium.webdriver.firefox.options import Options
import getpass
from typing import Dict, Tuple, List
import os
import csv
import re

afraca

infixr 2 _⟨_⟩_
_⟨_⟩_ : forall {a : Set} -> (x : a) -> {y z : a} -> x == y -> y == z -> x == z
x ⟨ p ⟩ q = trans p q

infixr 3 _∎
_∎ : {a : Set} -> (x : a) -> x == x
x ∎ = Refl

-- Visible reduction steps make the proof more explicit
definition : {a : Set} -> {x : a} -> x == x

afraca

from timeit import default_timer
import hashlib

class Timer(object):
    def __init__(self, verbose=False):
        self.verbose = verbose
        self.timer = default_timer
        
    def __enter__(self):
        self.start = self.timer()