chessai

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE KindSignatures #-}

module Foo where

import Data.Proxy
import GHC.Types

data L a = Nil | Cons a (L a)

chessai

{-# LANGUAGE DataKinds            #-}
{-# LANGUAGE GADTs                #-}
{-# LANGUAGE NoImplicitPrelude    #-}
{-# LANGUAGE PolyKinds            #-}
{-# LANGUAGE RankNTypes           #-}
{-# LANGUAGE ScopedTypeVariables  #-}
{-# LANGUAGE StandaloneDeriving   #-}
{-# LANGUAGE TypeInType           #-}
{-# LANGUAGE TypeFamilies         #-}
{-# LANGUAGE TypeOperators        #-}

chessai

# Invoking nix-shell sets up an environment where we can build ghc
# by only invoking hadrian.

{ package ? "ghc-dev", compiler ? "ghc822" }:

let
  fetchNixpkgs = import ./fetchNixpkgs.nix;
  nixpkgs = fetchNixpkgs {
    rev = "01705125314fa0c7753f27c3dd7c4bfbda55c375"; 
    sha256 = "1a96vb4hlhnadm445lifq02wg2vz0a2hyxrcl6d0jy2cn7427aq6"; 

chessai

{-# LANGUAGE CPP #-}

#define InnieOuttie IO
#define class module
#define begin where
#define mayo main
-- #define ()   Unit
#define memo putStrLn
-- #define ::   beA
-- #define =    ==

chessai

#include <stdio.h>
#include <stdlib.h>
int main() {
  char mem[30000],
       *ptr = mem;
++ptr;
++(*ptr);
++(*ptr);
++(*ptr);
++(*ptr);

chessai

+++++++++++++[->++>>>+++++>++>+<<<<<<]>>>>>++++++>--->>>>>>>>>>+++++++++++++++[[
>>>>>>>>>]+[<<<<<<<<<]>>>>>>>>>-]+[>>>>>>>>[-]>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>[-]+
<<<<<<<+++++[-[->>>>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>>>>+>>>>>>>>>>>>>>>>>>>>>>>>>>
>+<<<<<<<<<<<<<<<<<[<<<<<<<<<]>>>[-]+[>>>>>>[>>>>>>>[-]>>]<<<<<<<<<[<<<<<<<<<]>>
>>>>>[-]+<<<<<<++++[-[->>>>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>>>+<<<<<<+++++++[-[->>>
>>>>>>+<<<<<<<<<]>>>>>>>>>]>>>>>>+<<<<<<<<<<<<<<<<[<<<<<<<<<]>>>[[-]>>>>>>[>>>>>
>>[-<<<<<<+>>>>>>]<<<<<<[->>>>>>+<<+<<<+<]>>>>>>>>]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>
[>>>>>>>>[-<<<<<<<+>>>>>>>]<<<<<<<[->>>>>>>+<<+<<<+<<]>>>>>>>>]<<<<<<<<<[<<<<<<<
<<]>>>>>>>[-<<<<<<<+>>>>>>>]<<<<<<<[->>>>>>>+<<+<<<<<]>>>>>>>>>+++++++++++++++[[
>>>>>>>>>]+>[-]>[-]>[-]>[-]>[-]>[-]>[-]>[-]>[-]<<<<<<<<<[<<<<<<<<<]>>>>>>>>>-]+[

chessai

[ This program prints Sierpinski triangle on 80-column display. ]
                                >
                               + +
                              +   +
                             [ < + +
                            +       +
                           + +     + +
                          >   -   ]   >
                         + + + + + + + +
                        [               >

chessai

{ package ? "interface" , test ? false, frontend ? false }:
let fetchNixpkgs = import ./fetchNixpkgs.nix;
    nixpkgs = fetchNixpkgs {
      rev = "eb857611378576f96022867a9fd15a7a841e518c";
      sha256 = "0gnlxsmc7gi06dqlij1bgmcias83isldrvydw4688qpm8h4wdf44";
    };
    pkgs = import nixpkgs { config = {}; };

    fetch-github-json = owner: repo: path:
      let commit = builtins.fromJSON (builtins.readFile path);

chessai

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}

module Data.Type.Ord
  ( Compare
  , OrdCase
  , IsEQ
  , IsLT

chessai

{-# language BangPatterns   #-}
{-# language DataKinds      #-}
{-# language GADTs          #-}
{-# language KindSignatures #-}
{-# language MagicHash      #-}
{-# language NoImplicitPrelude   #-}
{-# language ScopedTypeVariables #-}
{-# language StandaloneDeriving  #-}
{-# language TypeFamilies #-}
{-# language TypeOperators #-}