- Meditation as Experimental Introspection 🔶/MEI
- Meditation as Mental Purification 🔷/MMP
The coloured diamonds are for skimming, the abbreviations for textual search.
module Loadable exposing | |
( Loadable(..), toMaybe, withDefault, fromResult | |
, map, andThen, apply, map2, mapError | |
, isInit, isLoading, isLoaded, isError, isDone, isPending | |
) | |
{-| Model loadable values | |
This is inspired by: <http://blog.jenkster.com/2016/06/how-elm-slays-a-ui-antipattern.html> |
diff --git a/stack.yaml b/stack.yaml | |
index 2cfb16b..96a236e 100644 | |
--- a/stack.yaml | |
+++ b/stack.yaml | |
@@ -7,3 +7,6 @@ extra-deps: | |
- Noise-1.0.6@sha256:7eb0d021e334ca2341a9cb51eac7d6f2c76b4e4e1a27264509b38264dc202b32,1994 | |
- data-r-tree-0.6.0@sha256:10a25ef70e6779c3bf5128cd45d033482a370ea07e92ab1c82678675de01d870,3668 | |
resolver: lts-18.19 | |
+nix: | |
+ enable: true |
# Bash function to approximate Notational Velocity using fzf and ripgrep. | |
# | |
# Will search for and preview matching files based on name and content, then open with $EDITOR on enter. | |
# Assumes Markdown files. | |
# | |
# Based on | |
# - https://demu.red/blog/2021/04/a-notational-velocity-stopgap-solution-for-linux/ | |
# - https://github.com/junegunn/fzf#3-interactive-ripgrep-integration | |
function note() { | |
pushd ~/notes 1>/dev/null && \ |
digraph G { | |
rankdir = BT; | |
node [ shape=box ]; | |
small_cat [ label="small cat" ]; | |
commutative_monoid [ label="commutative monoid" ]; | |
inverse_semigroup [ label="inverse semigroup" ]; | |
unital_magma [ label="unital magma" ]; | |
abelian_group [ label="abelian group" ]; |
# This script will download and install Dividat Driver as a Windows service. | |
## Configuration ########################################## | |
$releaseUrl = "https://dist.dividat.com/releases/driver2/" | |
$channel = "master" | |
$installDir = "C:\Program Files\dividat-driver" | |
########################################################### | |
$ErrorActionPreference = "Stop" |
# Purpose: Set up the Senso driver to run as a Senso simulator on boot | |
# Requires ARMv7 or newer. | |
# Usage: curl -L https://git.io/vQIGb | sudo sh -e | |
PARENT_DIR=$(pwd) | |
SETUP_DIR="pseudo-senso" | |
DRIVER_VERSION="v0.3.2" | |
export DEBIAN_FRONTEND=noninteractive |
Require Import Omega. | |
Require Import Coq.Setoids.Setoid. | |
Inductive trans_r : nat -> nat -> Prop := | |
| trans_r_base : trans_r 0 3 | |
| trans_r_plus : forall m n, trans_r m n -> trans_r (m+3) (n+3) | |
| trans_r_trans : forall m n o, trans_r m n -> trans_r n o -> trans_r m o. | |
Example trans_r_6_9 : trans_r 3 9. | |
Proof. |
(** Basics.v, More Exercises | |
"similar to the previous one but where the second hypothesis says" should simply be | |
"similar to the previous one but where the hypothesis says"*) |
def javascript_inline_tag(asset_path) | |
content_tag( | |
:script, | |
raw(Uglifier.new.compile(AppName::Application.assets.find_asset(asset_path).to_s)) | |
) | |
end |