This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ config, pkgs, ... }: | |
{ | |
imports = [ <nixpkgs/nixos/modules/virtualisation/amazon-image.nix> ]; | |
ec2.hvm = true; | |
# Install some packages | |
environment.systemPackages = | |
with pkgs; | |
[ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<title>Bizagi</title> <script type='text/javascript' src='jquery/bizagi.configuration.js'></script> <script type='text/javascript' src='jquery/steal.js'></script> <script type="text/javascript"> document.write("<script type='text/javascript' src='jquery/bizagi.loader.js?_=" + new Date().getTime() + "'>");</script> <script type="text/javascript" language="javascript"> // Redefine path to base var session = window.sessionStorage.getItem("bizagiAuthentication") || "{}"; var bizagiConcurrent; session = JSON.parse(session); | |
var BIZAGI_DEFAULT_CURRENCY_INFO = { | |
"symbol": session.symbol || "$", | |
"decimalSeparator": session.decimalSeparator || ",", | |
"groupSeparator": session.groupSeparator || ".", | |
"decimalDigits": session.decimalDigits || "2" | |
}; | |
// Gets the loader instance, and load the module | |
var loader = bizagi.loader; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[12 of 22] Compiling Data.FixedSize.Vector ( src/Data/FixedSize/Vector.hs, .stack-work/dist/x86_64-osx/Cabal-2.0.1.0/build/Data/FixedSize/Vector.o ) | |
/private/var/folders/rl/lpwgmdlj6ld9pljmv6_gj4hh0000gn/T/stack56339/neural-0.3.0.1/src/Data/FixedSize/Vector.hs:104:22: error: | |
• Couldn't match type ‘n + 1’ with ‘1 + n’ | |
Expected type: Vector (n + 1) a | |
Actual type: Vector (1 + n) a | |
NB: ‘+’ is a type function, and may not be injective | |
• In the expression: Vector $ VS.cons x xs | |
In an equation for ‘cons’: | |
cons x (Vector xs) = Vector $ VS.cons x xs |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
bash-3.2$ stack build | |
Building all executables for `malek' once. After a successful build of all of them, only specified executables will be rebuilt. | |
malek-0.1.0.0: build (lib + exe) | |
Preprocessing library for malek-0.1.0.0.. | |
Building library for malek-0.1.0.0.. | |
[1 of 2] Compiling Lib ( src/Lib.hs, .stack-work/dist/x86_64-osx/Cabal-2.0.1.0/build/Lib.o ) | |
/Users/michaelgough/malek/malek/src/Lib.hs:12:1: error: | |
Could not find module ‘Data.MyPrelude’ | |
Use -v to see a list of the files searched for. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
running 17.09 stable, I did this: | |
git clone git@github.com:NixOS/nixpkgs.git | |
cd nixpkgs | |
nix-build -A swift | |
And I got this: | |
/tmp/nix-build-swift-4.0.3.drv-0/src/lldb/include/lldb/Utility/TaskPool.h:122:12: error: no member named 'bind' in namespace 'std' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[root@ip-172-31-17-67:~]# nixos-rebuild switch | |
building Nix... | |
building the system configuration... | |
these derivations will be built: | |
/nix/store/21cbdgb388w46hc804bxj5xbyqqz2lfn-system-path.drv | |
/nix/store/34yywa3lf9lhxf5m0kgb0cn40fkqjmsi-unit-systemd-fsck-.service.drv | |
/nix/store/i5cgmwqhxv3k6q76333lib82kbi8z4ck-dbus-catalog.xml.drv | |
/nix/store/dpmsi0vqypw4fbcrmaf23rgr4bdmhp55-dbus-1.drv | |
/nix/store/7lw23ggpcgg28m1rd6w5mkbk2blxfgmh-unit-dbus.service.drv | |
/nix/store/45iipgh9p68zvc52a29366c5zf8lnixh-user-units.drv |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[root@ip-172-31-30-159:~]# nix-env -iA nixos.stack | |
installing ‘stack-1.5.1’ | |
these paths will be fetched (3.47 MiB download, 22.51 MiB unpacked): | |
/nix/store/959h7dff5saa0k89v1gj73vk6k8vvb3q-stack-1.5.1 | |
fetching path ‘/nix/store/959h7dff5saa0k89v1gj73vk6k8vvb3q-stack-1.5.1’... | |
*** Downloading ‘https://cache.nixos.org/nar/0xqf7whg0g6cfvkz7y3pgk3h5q5a9vhvs7dfn450fj4a0j4z9sy3.nar.xz’ (signed by ‘cache.nixos.org-1’) to ‘/nix/store/959h7dff5saa0k89v1gj73vk6k8vvb3q-stack-1.5.1’... | |
% Total % Received % Xferd Average Speed Time Time Time Current | |
Dload Upload Total Spent Left Speed | |
100 3549k 100 3549k 0 0 1774k 0 0:00:02 0:00:02 --:--:-- 1533k |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env stack | |
-- stack --install-ghc runghc --package turtle | |
{-# LANGUAGE OverloadedStrings #-} | |
import Prelude hiding (FilePath) | |
import Turtle | |
import Control.Monad.State | |
import Data.Text | |
import Filesystem.Path.CurrentOS | |
import Data.Either |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import Pipes | |
import Pipes.Core | |
import Control.Monad | |
import System.IO | |
main = runEffect loop | |
loop = for ((start >~> middle) ()) (lift . putStrLn) | |
start a = do |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
filePathPipe :: MonadIO m => Pipe a a m () | |
filePathPipe = filePathPipe2 0 where | |
filePathPipe2 i = do | |
x <- await | |
yield x | |
liftIO $ putStrLn $ show i | |
if (i `mod` 10 == 0) | |
then do | |
liftIO $ putStrLn "TEN" | |
filePathPipe2 (i+1) |