yuanwang-wf

#include QMK_KEYBOARD_H

#ifdef CHARYBDIS_AUTO_POINTER_LAYER_TRIGGER_ENABLE
#    include "timer.h"
#endif // CHARYBDIS_AUTO_POINTER_LAYER_TRIGGER_ENABLE

enum charybdis_keymap_layers {
    LAYER_BASE = 0,
    LAYER_FUNCTION,
    LAYER_NAVIGATION,

yuanwang-wf

SPC
    SPC: find file
    , switch buffer
    . browse files
    : MX
    ; EX
    < switch buffer
    ` eval
    u universal arg
    x pop up scratch

yuanwang-wf

Get Nixos ISO

https://nixos.org/download.html

Install Driver (doesn’t work as it is)

https://apple.stackexchange.com/questions/168291/how-to-release-mouse-capture-in-virtualbox

https://apple.stackexchange.com/questions/64064/how-do-i-find-out-what-wireless-card-my-mac-has

yuanwang-wf

{ nixpkgs ? import <nixpkgs> {}, compiler ? "ghc882" } :

let
  
  bootstrap = import <nixpkgs> { };

  nixpkgs = builtins.fromJSON (builtins.readFile ./nixpkgs.json);

  src = bootstrap.fetchFromGitHub {
    owner = "NixOS";

yuanwang-wf

;; -*- mode: emacs-lisp; lexical-binding: t -*-
;; This file is loaded by Spacemacs at startup.
;; It must be stored in your home directory.

(defun dotspacemacs/layers ()
  "Layer configuration:
This function should only modify configuration layer settings."
  (setq-default
   ;; Base distribution to use. This is a layer contained in the directory
   ;; `+distribution'. For now available distributions are `spacemacs-base'

yuanwang-wf

{ pkgs, ... }:


let home_directory = builtins.getEnv "HOME";
    log_directory = "${home_directory}/Library/Logs";
    tmp_directory = "/tmp";
    ca-bundle_crt = "${pkgs.cacert}/etc/ssl/certs/ca-bundle.crt";
    lib = pkgs.stdenv.lib;

in rec {

yuanwang-wf

{-# LANGUAGE OverloadedStrings #-}
module Main where

import           Data.Char (isSpace)
import           Data.Either (fromRight)
import qualified Data.Attoparsec.Text as Parser
import qualified Data.Text as Text
import qualified Data.Text.IO as TIO

main :: IO ()

yuanwang-wf

module Deck where

import Control.Applicative
import Control.Monad.Trans.State
import Data.List
import System.Random

data Rank = One | Two | Three | Four | Five | Six | Seven | Eight | Nine | Ten | Jack | Queue | King deriving (Bounded, Enum, Show, Eq, Ord)

data Suit = Diamonds | Clubs | Hearts | Spades deriving (Bounded, Enum, Show, Eq, Ord)

yuanwang-wf

module Lib where

import           Control.Arrow (first)

data Term = Con Int | Div Term Term deriving Show

eval :: Term -> Int
eval (Con a)   = a
eval (Div t u) = eval t `div` eval u

yuanwang-wf

{-# LANGUAGE InstanceSigs        #-}
{-# LANGUAGE NoImplicitPrelude   #-}
{-# LANGUAGE RebindableSyntax    #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Course.Applicative where

import           Course.Core
import           Course.ExactlyOne
import           Course.Functor