dagit

import Prelude hiding (log)
import Control.Monad ( (<$>) )
import Control.Monad.Trans ( liftIO, when, baz, Bar(..) ) -- some made up names

{- | Our very important FOO compilation option -}
#ifdef FOO
foo = 1
#endif

{- {- Nested comments aren't quite right -} nope... -}

dagit

<script SRC="../plugins/noImageFonts.js"></SCRIPT> 
<script SRC="../jsMath.js"></SCRIPT>

dagit

<script> 
jsMath.Process(document);
</SCRIPT> 

dagit

#!/bin/bash
if test "$SSH_AUTH_SOCK" ; then
    ln -sf $SSH_AUTH_SOCK ~/.ssh/ssh_auth_sock
fi

dagit

set -g update-environment "DISPLAY SSH_ASKPASS SSH_AGENT_PID SSH_CONNECTION WINDOWID XAUTHORITY"
set-environment -g 'SSH_AUTH_SOCK' ~/.ssh/ssh_auth_sock

dagit

dagit@flux:~/tmp$ cabal-dev install accelerate-cuda
Resolving dependencies...
Configuring accelerate-cuda-0.12.1.1...
configure: WARNING: unrecognized options: --with-compiler, --with-gcc
checking for nvcc... nvcc
checking whether the C++ compiler works... yes
checking for C++ compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... configure: error: in `/private/var/folders/wb/kzn7x2tj6db_g9qhwy3w1ss00000gp/T/accelerate-cuda-0.12.1.1-85898/accelerate-cuda-0.12.1.1':
configure: error: cannot run C++ compiled programs.

dagit

{-# LANGUAGE OverloadedStrings #-}
import Data.String

newtype BadString = BS String deriving Show

instance IsString BadString where fromString = error

main = print ("Hello, World!" :: BadString)

{-

dagit

#!/bin/bash

IGNORED=(. .. .git .gitignore .ssh)
DOTFILES=(.* .ssh/rc)

function containsElement () {

  for e in "${@:2}"
  do
    [[ "$e" == "$1" ]] && echo 1 && return

dagit

module TAMO where

open import Relation.Binary.Core

data Bool : Set where
  true  : Bool
  false : Bool

data False : Set where
record True : Set where

dagit

(load-file (let ((coding-system-for-read 'utf-8))
                (shell-command-to-string "agda-mode.exe locate")))
(custom-set-variables
 ;; custom-set-variables was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 '(agda2-include-dirs (quote ("." "C:/Users/dagit/Documents/agda/lib/src"))))
(custom-set-faces
 ;; custom-set-faces was added by Custom.