notae

{-
Waifu2x.hs by @notae_c based on https://github.com/WL-Amigo/waifu2x-converter-cpp/blob/master/appendix/waifu2x-commented.py
MIT license, see https://github.com/nagadomi/waifu2x/blob/master/LICENSE
-}

{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE DeriveGeneric      #-}
{-# LANGUAGE FlexibleInstances  #-}
{-# LANGUAGE OverloadedLists    #-}
{-# LANGUAGE OverloadedStrings  #-}

notae

#!/usr/bin/env stack
-- stack --resolver lts-4.0 --install-ghc runghc

module Main where

import Control.Monad    (forM_, when)
import Data.List        (isInfixOf)
import GHC.IO.Exception (ExitCode (..))
import System.Process   (readProcessWithExitCode)

notae

{-# LANGUAGE DataKinds           #-}
{-# LANGUAGE GADTs               #-}
{-# LANGUAGE KindSignatures      #-}
{-# LANGUAGE RankNTypes          #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeOperators       #-}

module MatrixProd2 where

import Data.Proxy

notae

#!/bin/bash

IMAGE=local/ubuntu-dev:16.04
NAME=mydocker
LANG=C.UTF-8
DIR=`dirname $0`
SETUP=mydocker-setup
SETUP_CMD=/root/${SETUP}
HOST_UID=`id -u`
HOST_GID=`id -g`

notae

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}

module GenericIso