| /*! JointJS v0.9.3 - JavaScript diagramming library 2015-06-26 | |
| This Source Code Form is subject to the terms of the Mozilla Public | |
| License, v. 2.0. If a copy of the MPL was not distributed with this | |
| file, You can obtain one at http://mozilla.org/MPL/2.0/. | |
| */ | |
| /*! | |
| * jQuery JavaScript Library v2.1.3 | |
| * http://jquery.com/ |
| {-# LANGUAGE RankNTypes, ScopedTypeVariables #-} | |
| import Control.Monad.ST | |
| import Data.Foldable as F | |
| import Data.Array.ST | |
| import Data.Sequence (Seq) | |
| import qualified Data.Sequence as Seq | |
| import Criterion.Main | |
| keycode 66 = Super_L | |
| !keycode 78 = Multi_key | |
| keycode 107 = Multi_key | |
| !keycode 113 = Mode_switch | |
| !remove Lock = Super_L | |
| clear Lock | |
| add Mod4 = Super_L | |
| ! Französisch per shift-alt |
| $ cat /etc/X11/xorg.conf.d/30-scoll.conf | |
| Section "InputClass" | |
| Identifier "TPPS/2 IBM TrackPoint" | |
| Driver "libinput" | |
| Option "ScrollMethod" "none" | |
| EndSection |
| // The source for the graph in https://math.stackexchange.com/q/2265499/53195 | |
| digraph w3markov { | |
| layout = neato; | |
| epsilon = 0.0001; | |
| edge [len = 0.8]; | |
| node [label=""]; | |
| node [width=0.2]; | |
| node [height=0.2]; | |
| node [fixedsize=true]; |
| Require Import Vectors.Vector. | |
| Section CT. | |
| Context {F : Type -> Type}. | |
| Record Functor__Dict := { | |
| fmap__ {a b} : (a -> b) -> F a -> F b; | |
| fmap_id__ {t} : forall ft, fmap__ (fun a : t => a) ft = ft; | |
| fmap_fusion__ {a b c} : forall (f : a -> b) (g : b -> c) fa, fmap__ g (fmap__ f fa) = fmap__ (fun e => g (f e)) fa | |
| }. |
| ┌────────────────┬────────────────┬───────┬──────────┐ | |
| │ From │ To │ Count │ Time │ | |
| ╞════════════════╪════════════════╪═══════╪══════════╡ | |
| │ Accepted │ - │ 10 │ 150 days │ | |
| ├────────────────┼────────────────┼───────┼──────────┤ | |
| │ Needs revision │ - │ 3 │ 241 days │ | |
| ├────────────────┼────────────────┼───────┼──────────┤ | |
| │ Needs revision │ Pending │ 1 │ 8 days │ | |
| ├────────────────┼────────────────┼───────┼──────────┤ | |
| │ Out-of-scope │ - │ 9 │ 312 days │ |
| title | author |
|---|---|
Glassery |
Oleg Grenrus |
After I have
improved the raw performance
of optika – a JavaScript optics library,
it's time to make the library (feature-)complete and sound.
Gathering and classifying all possible optic types, gives us a reference point
| tyvars-in-pats-haskell18.pdf | |
| tyvars-in-pats-haskell18-*.pdf | |
| ## Richard's ott setup | |
| tyvars-in-pats-haskell18.tex | |
| tyvars-in-pats-haskell18-*.tex | |
| tyvars-in-pats-haskell18.lhs | |
| tyvars-in-pats-haskell18.hs | |
| ott.tex | |
| ottdump.pdf |
| -- Many faces of isOrderedTree | |
| -- Code to the talk (extended version) | |
| {-# LANGUAGE DeriveFoldable #-} | |
| module Tree where | |
| import Control.Monad | |
| import Data.Maybe | |
| import Data.Foldable |