taktoa

with rec {
  pkgs = import <nixpkgs> {};
  inherit (pkgs) stdenv gcc-arm-embedded libxml2 ncurses python27Packages;
  inherit (pkgs) which fetchFromGitHub;
};

stdenv.mkDerivation rec {
  name = "seL4";

  src = fetchFromGitHub {

taktoa

steps:
# Align imports
  - imports:
      align: global

# Align and remove redundant language pragmas
  - language_pragmas:
      style: vertical
      align: true
      remove_redundant: true

taktoa

{-# LANGUAGE DataKinds                  #-}
{-# LANGUAGE DeriveFunctor              #-}
{-# LANGUAGE DeriveGeneric              #-}
{-# LANGUAGE FlexibleContexts           #-}
{-# LANGUAGE FlexibleInstances          #-}
{-# LANGUAGE FunctionalDependencies     #-}
{-# LANGUAGE GADTs                      #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE KindSignatures             #-}
{-# LANGUAGE MultiParamTypeClasses      #-}

taktoa

diff --git a/Makefile b/Makefile
index e35159b..fdc4e64 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ DRULES=${DRULES_1},${DRULES_2},${DRULES_3}
 
 LANGUAGETOOL = languagetool -l en-US -d ${DRULES}
 
-PREVIEWER := zathura
+PREVIEWER := evince

taktoa

BasedOnStyle:                                    LLVM
Language:                                        Cpp
Standard:                                        Cpp11
AccessModifierOffset:                            -4
AlignAfterOpenBracket:                           true
AlignEscapedNewlinesLeft:                        false
AlignOperands:                                   true
AlignTrailingComments:                           true
AllowAllParametersOfDeclarationOnNextLine:       true
AllowShortBlocksOnASingleLine:                   true

taktoa

--------------------------------------------------------------------------------
---- Reset all metaflags -------------------------------------------------------

:unset +m
:unset +r
:unset +s
:unset +t
:unset +c

--------------------------------------------------------------------------------

taktoa

-- ... all of your XMonad imports

import           Control.Concurrent          (forkIO, threadDelay)
import           Control.Monad               (void)

main :: IO ()
main = fixPanel >> xmonad myConfig

fixPanel :: IO ()
fixPanel = void $ forkIO $ do

taktoa

# This is a configuration file for the MOC player.  It should be named
# 'config' and placed in the ~/.moc directory.  As this file can specify
# commands which invoke other applications, MOC will refuse to start if it
# is not owned by either root or the current user, or if it is writable by
# anyone other than it's owner.  All options are given with their default
# values, and therefore commented.

# Comments begin with '#'.
# You can use quotes and escape ('\') in parameters.
#

taktoa

Introduction

This document contains useful information on various things in programming. Any time I find something that I end up looking up multiple times, I put it in here.

Copyright © 2015 Remy Goldschmidt [email protected]

This work is licensed under the [Creative Commons Attribution 4.0 International License][cc-by].

taktoa

import Color exposing (..)
import Debug
import Graphics.Collage exposing (..)
import Graphics.Element exposing (..)
import Keyboard
import Time exposing (..)
import Window
import Unicode exposing (..)

-- | Mass of sphere