View large.rkt
#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
View crash.rkt
This file has been truncated, but you can view the full file.
#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))
View tasty-discover.hs
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)
View applicative.hs
-- 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)
View RWS.hs
module Trans.RWS (
module X,
RWS,
runRWS,
evalRWS,
execRWS,
mapRWS,
RWST,
runRWST,
evalRWST,
View valueLevelClasses.hs
{-# LANGUAGE Rank2Types
, RebindableSyntax
, ImplicitParams
, NoMonomorphismRestriction #-}
import Data.Maybe
import Data.Function
import Data.String
import Prelude (undefined, error, String, (++))
View LayoutParser.hs
module LayoutParser (
LayoutParser,
indented,
linefold,
line,
saveIndent,
align,
runLayoutParser
) where
View test.c
#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>
View universes.idr
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
View 9ptest.sh
#!/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