Skip to content

Instantly share code, notes, and snippets.

# Adding to PATH
PATH=~/.local/bin:~/.stack/programs/x86_64-linux/ghc-7.10.3/bin:$PATH
{-# LANGUAGE OverloadedStrings #-}
module Lib
( someFunc
) where
import Data.JSString ()
import GHCJS.Types
foreign import javascript unsafe "window.alert($1)" js_alert :: JSString -> IO ()
@meditans
meditans / .spacemacs
Created January 30, 2016 13:36
spacemacs configuration file for f-a
;; -*- mode: emacs-lisp -*-
(defun dotspacemacs/layers ()
(setq-default
dotspacemacs-distribution 'spacemacs
dotspacemacs-configuration-layer-path '()
dotspacemacs-configuration-layers '(
emacs-lisp
@meditans
meditans / Transcript
Created January 31, 2016 00:20
Transcript
-----------------------------------------------------------------------80 cols--
module Lib where
someFunc :: IO ()
someFunc = putStrLn "someFunc"
data Agent = Agent
data Plan = Plan
data World = World
@meditans
meditans / Codice per Vale
Created February 7, 2016 08:08
scolaresca.cpp
#include <iostream>
#include <cmath>
using namespace std;
struct studente
{
string nome;
int eta;
};
@meditans
meditans / .bashrc
Created February 9, 2016 11:34
.bashrc
# .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=
#!/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)
#!/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")))
#!/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
-- * Preamble
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}