Skip to content

Instantly share code, notes, and snippets.

View no-longer-on-githu-b's full-sized avatar

no longer on github no-longer-on-githu-b

View GitHub Profile
@paf31
paf31 / Main.hs
Last active September 5, 2018 03:54
A simple type checker with Rank N types
module Main where
import Data.Maybe (fromMaybe)
import Control.Applicative
import Control.Arrow (first)
import Control.Monad (ap)
import Debug.Trace
@yyscamper
yyscamper / quote.py
Last active December 12, 2019 10:35
SQLAlchemy Postgresql Quote Identifier
from sqlalchemy import create_engine
engine = create_engine('postgresql://user:[email protected]:5432/dbname')
engine.dialect.identifier_preparer.quote('table')
engine.dialect.identifier_preparer.quote_identifier('table')