farrellm

module Prefix

import Data.List

%default total


elems : (xs : List a) -> List (x ** Elem x xs)
elems [] = []
elems (x :: xs) =

farrellm

Keybase proof

I hereby claim:

• I am farrellm on github.
• I am farrellm (https://keybase.io/farrellm) on keybase.
• I have a public key ASAUtVDoN_MxD3qNcWx5lrl038d8K8dpP-q8MhZiFDdTzwo

To claim this, I am signing this object:

farrellm

### Keybase proof

I hereby claim:

  * I am farrellm on github.
  * I am farrellm (https://keybase.io/farrellm) on keybase.
  * I have a public key ASBmSVBs7Z1XphVn5l-7tZfElYT2LX_-SD2_ZUAI1ciTGQo

To claim this, I am signing this object:

farrellm

import Base.writecsv
function writecsv(filename, a::AbstractDataFrame; opts...)
    writetable(filename, a)
end


#+BEGIN_SRC julia :colnames yes
  using RDatasets
  dataset("datasets","Formaldehyde")
#+END_SRC

farrellm

import Data.List

lookSay :: String -> String
lookSay = concatMap labledCount . group
  where labledCount l = (show $ length l) ++ [head l]

sayAll :: [String]
sayAll = iterate lookSay "1"

main :: IO ()

farrellm

;;; init.el --- Summary
;;; Commentary:
;;; Code:

;; basic UI
(setq inhibit-splash-screen t)
(menu-bar-mode -1)
(toggle-scroll-bar -1)
(tool-bar-mode -1)

farrellm

#ifndef _VEBTREE_HPP_
#define _VEBTREE_HPP_

template <int _N>
class VEBTree {
    
public:
  void insert(int val);