Skip to content

Instantly share code, notes, and snippets.

View taktoa's full-sized avatar
🤔
Confused about why this feature exists

Remy Goldschmidt taktoa

🤔
Confused about why this feature exists
View GitHub Profile
steps:
# Align imports
- imports:
align: global
# Align and remove redundant language pragmas
- language_pragmas:
style: vertical
align: true
remove_redundant: true
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE MultiParamTypeClasses #-}
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
BasedOnStyle: LLVM
Language: Cpp
Standard: Cpp11
AccessModifierOffset: -4
AlignAfterOpenBracket: true
AlignEscapedNewlinesLeft: false
AlignOperands: true
AlignTrailingComments: true
AllowAllParametersOfDeclarationOnNextLine: true
AllowShortBlocksOnASingleLine: true
@taktoa
taktoa / .ghci
Last active December 27, 2017 18:11
My .ghci dotfile
--------------------------------------------------------------------------------
---- Reset all metaflags -------------------------------------------------------
:unset +m
:unset +r
:unset +s
:unset +t
:unset +c
--------------------------------------------------------------------------------
@taktoa
taktoa / xmonad.hs
Last active February 18, 2016 23:44
Fix xfce panel under XMonad
-- ... 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
# 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
taktoa / useful.md
Last active December 28, 2015 12:14

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 taktoa@gmail.com

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

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
@taktoa
taktoa / keybase.md
Created December 23, 2014 05:05
keybase.md

Keybase proof

I hereby claim:

  • I am taktoa on github.
  • I am taktoa (https://keybase.io/taktoa) on keybase.
  • I have a public key whose fingerprint is F172 B1FB CE28 A456 5989 8FED 7B6D 8E67 26A3 9F37

To claim this, I am signing this object: