dramforever

dramforever

#include <iostream>
#include <memory>
#include <cmath>

struct Expr {
	double grad, value;
	void propagate(double delt) {
		grad += delt;
	}
	Expr(double value_): value(value_) {}

dramforever

# Based on https://gist.github.com/LnL7/570349866bb69467d0caf5cb175faa74

self: super:

{
  dramPackages = (super.dramPackages or {}) // self.recurseIntoAttrs {
    inherit (self)
      chromium
      # ... omitted
      ;

dramforever

problemStr = 
  "800 000 000 003 600 000 070 090 200 050 007 000 000 045 700 000 \
100 030 001 000 068 008 500 010 090 000 400";
pr = Partition[ToExpression@Characters@StringDelete[problemStr, " "], 9];

blocks = Table[3 Quotient[i, 3] + Quotient[j, 3], {i, 0, 8}, {j, 0, 8}];
rows = Table[i, {i, 0, 8}, {j, 0, 8}];
cols = Table[j, {i, 0, 8}, {j, 0, 8}];
constrain[blk_] := 
  Join @@ Table[Outer[Plus, Range[9], (Position[blk, k] - 1).{81, 9}], {k, Min[blk], Max[blk]}];

dramforever

Idris> :l total.idr
Type checking ./total.idr
total.idr:3:1-5:35:
  |
3 | totalTest x with (decEq x 'a')
  | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ...
Main.totalTest is possibly not total due to: with block in Main.totalTest

dramforever

-- Build instructions: It's complicated

{-# LANGUAGE CPP #-}

module Main where

import Prelude hiding (div, id, span)
import GHCJS.HPlay.View
import Transient.Move
import Control.Monad.IO.Class

dramforever

{-# LANGUAGE NoMonomorphismRestriction #-}

module Main where

import Control.Monad.State

data Tape a = Tape { left :: [a]
                   , right :: [a]
                   }

dramforever

import Data.List
import Data.Maybe
import Control.Monad

data Ans = A | B | C | D | Whatever deriving (Show, Eq, Ord)

ver ans 1 = (ans !! 1) == (ans !! 1)

ver ans 2 = Just (ans !! 5) == lookup (ans !! 2) [(A, C), (B, D), (C, A), (D, B)]

dramforever

linux/arch/x86/boot/ctypes.h in English
------------------------------------------------

hash ifndef boot isdigit h
hash define boot isdigit h
static inline int isdigit int ch
return ch is greater than or equal to zero and ch is less than or equal to nine
static inline int isxdigit int ch
if isdigit ch return true
if ch is greater than or equal to A and ch is greater than or equal to F

dramforever

module Main (main) where

import Sound.Wav
import Data.Int
import qualified Data.ByteString.Lazy as B
import Data.ByteString.Lazy.Builder
import Data.Monoid
import System.Environment
import System.Exit
import System.IO