duplicates = multiple editions
A Classical Introduction to Modern Number Theory,Kenneth IrelandMichael Rosen
A Classical Introduction to Modern Number Theory,Kenneth IrelandMichael Rosen
| {-# LANGUAGE TupleSections #-} | |
| import Control.Lens | |
| data Expr | |
| = Var String | |
| | App Expr Expr | |
| | Lam String Expr | |
| deriving Show |
| Postgres Cheat Sheet | |
| Source: Postgresql Documentation | |
| ### shell commands | |
| creatuser <user> | |
| deletesuer <user> | |
| createdb -O <user> -E utf8 -T <template> <db_name> | |
| dropdb <db_name> |
| {-# LANGUAGE DeriveFunctor #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE StandaloneDeriving #-} | |
| {-# LANGUAGE UndecidableInstances #-} | |
| import Prelude hiding (succ) | |
| newtype Fix f = Fix (f (Fix f)) | |
| deriving instance (Show (f (Fix f))) => Show (Fix f) |
| {-# LANGUAGE ForeignFunctionInterface, JavaScriptFFI #-} | |
| import Reflex.Dom | |
| import Data.Monoid | |
| import GHCJS.Types | |
| import GHCJS.Foreign | |
| import GHCJS.DOM.Element | |
| import GHCJS.DOM.Types | |
| import Control.Monad.IO.Class | |
| newtype LeafletMap = LeafletMap { unLeafletMap :: JSRef LeafletMap } |
| // fade out | |
| function fade(el) { | |
| var op = 1; | |
| var timer = setInterval(function () { | |
| if (op <= 0.1){ | |
| clearInterval(timer); | |
| el.style.display = 'none'; | |
| } | |
| el.style.opacity = op; |
| { | |
| "dependencies": { | |
| "jshint": "latest", | |
| "uglifyjs": "latest", | |
| "watch": "latest" | |
| }, | |
| "config": { | |
| "github_url": "https://api.github.com/repos/MarkBiesheuvel/markbiesheuvel.nl/commits?page=1&per_page=10", | |
| "maps_url": "https://maps.googleapis.com/maps/api/staticmap?size=640x200&zoom=7&markers=color%3Ablue%7Clabel%3AH%7C51.469941%2C5.472258&markers=color%3Ayellow%7Clabel%3AW%7C51.574344%2C5.13781", | |
| }, |
| # Generates the text of asetniop.vim | |
| singles = | |
| a: "a" | |
| s: "s" | |
| e: "d" | |
| t: "f" | |
| n: "j" | |
| i: "k" | |
| o: "l" | |
| p: ";" |
| var parser = document.createElement('a'); | |
| parser.href = "http://example.com:3000/pathname/?search=test#hash"; | |
| parser.protocol; // => "http:" | |
| parser.hostname; // => "example.com" | |
| parser.port; // => "3000" | |
| parser.pathname; // => "/pathname/" | |
| parser.search; // => "?search=test" | |
| parser.hash; // => "#hash" | |
| parser.host; // => "example.com:3000" |
| #!/usr/bin/env ruby | |
| tagname = ARGV.pop | |
| def prompt(*args) | |
| print(*args) | |
| gets.chomp | |
| end | |
| if tagname.nil? |