yuanwang-wf

module CSVParse (parseCSV) where

import           Text.ParserCombinators.Parsec

-- verbose version
-- csvFile :: GenParser Char st [[String]]
-- csvFile = do
--     do result <- many line
--        eof
--        return result

yuanwang-wf

{-# LANGUAGE OverloadedStrings #-}

module Lib
    (
    ) where

import           Control.Monad             (mzero)
import           Crypto.Hash               (Digest, SHA256,
                                            digestToHexByteString, hash, hmac,
                                            hmacGetDigest)

yuanwang-wf

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

module Course.Applicative where

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

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

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

{-# 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

{ 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

;; -*- 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

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

let
  
  bootstrap = import <nixpkgs> { };

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

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

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