werbitt

Keybase proof

I hereby claim:

• I am werbitt on github.
• I am werbitt (https://keybase.io/werbitt) on keybase.
• I have a public key ASDckGz4W7CGxuS6mom4BJfIrAum0wzuvreEryHSNQWP1wo

To claim this, I am signing this object:

werbitt

import Data.Primitives.Views
import System

%default total

data InfIO : Type where
  Do : IO a -> (a -> Inf InfIO) -> InfIO

(>>=) : IO a -> (a -> Inf InfIO) -> InfIO
(>>=) = Do

werbitt

module Polish ( Token()
              , rpolish
              , polish
              ) where

data Token = Num Integer
           | Fun (Integer -> Integer -> Integer)

instance Show Token where
  show (Num n) = "Num " ++ show n

werbitt

Debugger entered--Lisp error: (error "Invalid face" magit-diff-add)
  internal-set-lisp-face-attribute(magit-diff-add :foreground "green4" 0)
  set-face-attribute(magit-diff-add nil :foreground "green4")
  set-face-foreground(magit-diff-add "green4")
  (progn (set-face-foreground (quote magit-diff-add) "green4") (set-face-foreground (quote magit-diff-del) "red3") (global-set-key (kbd "C-c g") (quote magit-status)))
  eval((progn (set-face-foreground (quote magit-diff-add) "green4") (set-face-foreground (quote magit-diff-del) "red3") (global-set-key (kbd "C-c g") (quote magit-status))))
  (let* ((pdir (el-get-package-directory package)) (default-directory pdir)) (eval form))
  (progn (assert (listp form)) (el-get-verbose-message "el-get: Evaluating :%s form for package %s" fname package) (let* ((pdir (el-get-package-directory package)) (default-directory pdir)) (eval form)))
  (if form (progn (assert (listp form)) (el-get-verbose-message "el-get: Evaluating :%s form for package %s" fname package) (let* ((pdir 

werbitt

Debugger entered--Lisp error: (error "Unable to find theme file for `tango-2'")
  signal(error ("Unable to find theme file for `tango-2'"))
  error("Unable to find theme file for `%s'" tango-2)
  load-theme(tango-2 t)
  (progn (load-theme (quote tango-2) t))
  eval((progn (load-theme (quote tango-2) t)))
  (let* ((pdir (el-get-package-directory package)) (default-directory pdir)) (eval form))
  (progn (assert (listp form)) (el-get-verbose-message "el-get: Evaluating :%s form for package %s" fname package) (let* ((pdir (el-get-package-directory package)) (default-directory pdir)) (eval form)))
  (if form (progn (assert (listp form)) (el-get-verbose-message "el-get: Evaluating :%s form for package %s" fname package) (let* ((pdir (el-get-package-directory package)) (default-directory pdir)) (eval form))))
  (when form (assert (listp form)) (el-get-verbose-message "el-get: Evaluating :%s form for package %s" fname package) (let* ((pdir (el-get-package-directory package)) (default-directory pdir)) (eval form)))

werbitt

user=> (defn f [& ks]
  #_=>   (let [ms [{:a "abc" :b "123"} {:a "def" :b "456"}]]
  #_=>     (if ks
  #_=>         (map (fn [x] (select-keys x ks)) ms)
  #_=>         (ms))))
#'user/f
user=> (f :b)
({:b "123"} {:b "456"})
user=> (f)
ArityException Wrong number of args (0) passed to: PersistentVector  clojure.lang.AFn.throwArity (AFn.java:437)

werbitt

-- My solution to problem 26 of 'H-99: Ninety-Nine Haskell Problems'
-- http://www.haskell.org/haskellwiki/99_questions/21_to_28

module Combinations (combinations) where
import Data.List


combinations :: (Eq a) => Int -> [a] -> [[a]]
combinations n xs = foldr (\x acc -> (head x):acc) [] (group $ map (take n) (perm xs))

werbitt

-- My solution to problem 26 of 'H-99: Ninety-Nine Haskell Problems'
-- http://www.haskell.org/haskellwiki/99_questions/21_to_28

module Combinations (combinations) where
import Data.List


combinations :: (Eq a) => Int -> [a] -> [[a]]
combinations n xs = foldr (\x acc -> (head x):acc) [] (group $ map (take n) (perm xs))

werbitt

section: screens
	laptop.local:
	mini.local:
end

section: links
	laptop.local:
		right = mini.local
	mini.local:
		right = laptop.local