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:
module Prefix | |
import Data.List | |
%default total | |
elems : (xs : List a) -> List (x ** Elem x xs) | |
elems [] = [] | |
elems (x :: xs) = |
I hereby claim:
To claim this, I am signing this object:
### 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: |
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 |
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 () |
;;; init.el --- Summary | |
;;; Commentary: | |
;;; Code: | |
;; basic UI | |
(setq inhibit-splash-screen t) | |
(menu-bar-mode -1) | |
(toggle-scroll-bar -1) | |
(tool-bar-mode -1) |
#ifndef _VEBTREE_HPP_ | |
#define _VEBTREE_HPP_ | |
template <int _N> | |
class VEBTree { | |
public: | |
void insert(int val); | |