minad

#!/bin/bash

mkdir -p /mnt/smoothie
echo -n "rename test subdirectory"
for ((i=0;i<3;++i)); do
    mount -t 9p -o debug=0x204 192.168.1.6 /mnt/smoothie
    for ((j=0;j<3;++j)); do
	touch /mnt/smoothie/sd/test-file
	mkdir /mnt/smoothie/sd/test-dir
	mv /mnt/smoothie/sd/test-file /mnt/smoothie/sd/test-dir/test

minad

typeof : {t:Type} -> t -> Type
typeof {t} _ = t

level : Nat -> Type
level Z = Nat
level (S n) = typeof (level n)

isThisTrue : level 1 = level 2
isThisTrue = refl

minad

#include <assert.h>
#include <setjmp.h>
#include <signal.h>
#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
#include <string.h>
#include <unistd.h>
#include <time.h>

minad

module LayoutParser (
  LayoutParser,
  indented,
  linefold,
  line,
  saveIndent,
  align,
  runLayoutParser
) where

minad

{-# LANGUAGE Rank2Types
           , RebindableSyntax
           , ImplicitParams
           , NoMonomorphismRestriction #-}

import Data.Maybe
import Data.Function
import Data.String
import Prelude (undefined, error, String, (++))

minad

module Trans.RWS (
  module X,
  RWS,
  runRWS,
  evalRWS,
  execRWS,
  mapRWS,
  RWST,
  runRWST,
  evalRWST,

minad

-- same as sum below
liftSum :: Functor f => Either (f a) (f b) -> f (Either a b)
liftSum = either (Left <$>) (Right <$>)

-- same as comult below
unliftProd :: Functor f => f (a, b) -> (f a, f b)
unliftProd x = (fst <$> x, snd <$> x)

-- same as cosum below
unliftSum :: Comonad f => f (Either a b) -> Either (f a) (f b)

minad

import System.Environment (getArgs)
import System.IO (hPutStrLn, stderr)
import System.Exit (exitFailure)
import Data.List (find, isPrefixOf, isSuffixOf, nub, intersperse)
import Data.Maybe (fromJust, mapMaybe)
import System.Directory (listDirectory, doesDirectoryExist)
import Data.Traversable (for)
import System.FilePath ((</>), takeDirectory, pathSeparator, dropExtension)
import Data.Monoid (Endo(..))
import Data.Foldable (fold)

minad

#lang racket

(define (_P! n) (void))
(define (_S n)  (void))
(define (_N v) (void))
(define (_G n) (void))
(define (_S! n x) (void))
(define (_A . args) (void))
(define (_F v) (void))
(define (_CATCH h f) (void))

minad

#lang racket
(void (let ((a 0))
  (vector-immutable
   a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a