quasarbright.github.io/testmathjax.md at master · quasarbright/quasarbright.github.io · GitHub

$\frac{(x:\tau_1) \in \Gamma}{\Gamma \dashv x : \tau_1}$

$\frac{(x:\tau_1) \in \Gamma}{\Gamma \dashv x : \tau_1}$

$\frac{(x:\tau_1) \in \Gamma}{\Gamma \dashv x : \tau_1}$

$\frac{(x:\tau_1) \in \Gamma}{\Gamma \dashv x : \tau_1}$

class Monad m where
    return :: m a
    (>>=) :: m a -> (a -> m b) -> m b