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
-----------------------------------------------------------------------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
;; -*- 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
{-# 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
# 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
;; -*- 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
; Global settings for redshift | |
[redshift] | |
; Set the day and night screen temperatures | |
temp-day=5700 | |
temp-night=3500 | |
; Enable/Disable a smooth transition between day and night | |
; 0 will cause a direct change from day to night screen temperature. | |
; 1 will gradually increase or decrease the screen temperature. | |
transition=1 |
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
inverseMap grid f i = valueAtI | |
where iGrid = iover (itraversed <.> itraversed) const grid | |
valueAtI = (f iGrid) ^?! (itraversed <.> itraversed) . index i |
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
;; -*- mode: emacs-lisp -*- | |
(defun dotspacemacs/layers () | |
(setq-default | |
dotspacemacs-distribution 'spacemacs | |
dotspacemacs-configuration-layer-path '() | |
dotspacemacs-configuration-layers '( | |
emacs-lisp |