kcsongor

let s:hlcounter = 1

function! Highlight(word)
  let id = 110 + s:hlcounter
  exe 'hi Group' . id . ' ctermbg=' . (20 + id) . ' ctermfg=0'
  silent! call matchdelete(id)
  silent! call matchadd('Group' . id, '\<' . a:word . '\>', 100, id)
  let s:hlcounter = s:hlcounter + 1
endfunction

kcsongor

{-# LANGUAGE CPP #-}

-- This defines the (/*) function in the presence of CPP
(//* */*) :: Int -> Int -> Int
(//* */*) = undefined

kcsongor

{-# LANGUAGE MonoLocalBinds #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DuplicateRecordFields #-}
module MarkerClass where

import GHC.TypeLits -- for error messages

kcsongor

#!/bin/sh
lhs2TeX --newcode $2 > $4

kcsongor

{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
module HList where

-- statically bounded recursion, see the bottom of the file for results

data HList :: [*] -> * where
  Nil :: HList '[]

kcsongor

(defgroup presenter nil
  "Present source code in emacs.")

(defface presenter-slide-marker-face
  '((t))
  "Highlight slide marker."
  :group 'presenter)

(set-face-attribute 'presenter-slide-marker-face nil :height 1.0 :inherit 'font-lock-warning-face)

kcsongor

  (add-hook 'interactive-haskell-mode-hook 'haskell-auto-reload-minor-mode)

  (defvar haskell-auto-reload-every-n-sec 1
    "When non-nil, automatically reloads haskell buffers after Emacs has been idle for N seconds.")

  (defvar haskell-reload-timer nil
    "Variable used to store the idle timer.")

  (define-minor-mode haskell-auto-reload-minor-mode
    "Minor mode for automatically reloading interactive haskell buffers."