This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Adding to PATH | |
PATH=~/.local/bin:~/.stack/programs/x86_64-linux/ghc-7.10.3/bin:$PATH |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE OverloadedStrings #-} | |
module Lib | |
( someFunc | |
) where | |
import Data.JSString () | |
import GHCJS.Types | |
foreign import javascript unsafe "window.alert($1)" js_alert :: JSString -> IO () |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;; -*- mode: emacs-lisp -*- | |
(defun dotspacemacs/layers () | |
(setq-default | |
dotspacemacs-distribution 'spacemacs | |
dotspacemacs-configuration-layer-path '() | |
dotspacemacs-configuration-layers '( | |
emacs-lisp |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-----------------------------------------------------------------------80 cols-- | |
module Lib where | |
someFunc :: IO () | |
someFunc = putStrLn "someFunc" | |
data Agent = Agent | |
data Plan = Plan | |
data World = World |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <iostream> | |
#include <cmath> | |
using namespace std; | |
struct studente | |
{ | |
string nome; | |
int eta; | |
}; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# .bashrc | |
# Source global definitions | |
if [ -f /etc/bashrc ]; then | |
. /etc/bashrc | |
fi | |
# Uncomment the following line if you don't like systemctl's auto-paging feature: | |
# export SYSTEMD_PAGER= |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/emacs --script | |
;read stdin into a temp buffer | |
;go into org-mode | |
;output the buffer as a string and pipe to stdout | |
(with-temp-buffer | |
(progn | |
(condition-case nil | |
(let (line) | |
(while (setq line (read-from-minibuffer "")) | |
(insert line) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/emacs --script | |
;read stdin into a temp buffer | |
;go into org-mode | |
;output the buffer as a string and pipe to stdout | |
(with-temp-buffer | |
(progn | |
(let (line) | |
(while (setq line (ignore-errors (read-from-minibuffer ""))) | |
(insert line "\n"))) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
mkdir music | |
cd music | |
git clone https://github.com/music-suite/abcnotation | |
git clone https://github.com/music-suite/lilypond | |
git clone https://github.com/music-suite/music-articulation | |
git clone https://github.com/music-suite/music-dynamics | |
git clone https://github.com/music-suite/music-dynamics-literal |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- * Preamble | |
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
{-# LANGUAGE GADTs #-} | |
{-# LANGUAGE KindSignatures #-} | |
{-# LANGUAGE TemplateHaskell #-} | |
{-# LANGUAGE TypeFamilies #-} | |
{-# LANGUAGE TypeOperators #-} | |
{-# LANGUAGE UndecidableInstances #-} |