steshaw

# Usage:
#
#   Find version:
#
#     $ nix-instantiate --eval --expr '(import ./pkg-versions.nix {}).pandoc'
#     { "1.13.1" = <CODE>; "1.16.0.2" = <CODE>; "1.17.1" = <CODE>; "1.19.2.1" = <CODE>; "1.19.2.4" = <CODE>; "2.0.6" = <CODE>; "2.2.1" = <CODE>; "2.7.1" = <CODE>; }
#     $ nix eval '(builtins.attrNames (import ./pkg-versions.nix {}).pandoc)'
#     [ "1.13.1" "1.16.0.2" "1.17.1" "1.19.2.1" "1.19.2.4" "2.0.6" "2.2.1" "2.7.1" ]
#     $ nix-instantiate --eval --expr 'builtins.attrNames (import ./pkg-versions.nix {}).pandoc'
#     [ "1.13.1" "1.16.0.2" "1.17.1" "1.19.2.1" "1.19.2.4" "2.0.6" "2.2.1" "2.7.1" ]

steshaw

#include <stdio.h>

int main() {
  printf("sizeof(size_t) = %zu\n", sizeof(size_t));
  printf("sizeof(short) = %zu\n", sizeof(short));
  printf("sizeof(int) = %zu\n", sizeof(int));
  printf("sizeof(long) = %zu\n", sizeof(long));
}

steshaw

let sources = import ./sources.nix;
in
{ pkgs ? import sources.nixpkgs { }
}:
/*
with
  { overlay = _: pkgs:
      { niv = import sources.niv {};
      };
  };

steshaw

let sources = import ./sources.nix;
in
{ pkgs ? import sources.nixpkgs { }
}:
/*
with
  { overlay = _: pkgs:
      { niv = import sources.niv {};
      };
  };

steshaw

$ nix-collect-garbage --delete-old # Delete all garbage and old generations.

[snip]

$ nix-env --list-generations
1007   2020-09-16 06:49:32   (current)

$ ls -alFh /home/steshaw/.nix-profile
lrwxrwxrwx 1 steshaw users 46 Jul 15  2019 /home/steshaw/.nix-profile -> /nix/var/nix/profiles/per-user/steshaw/profile/

steshaw

GNU gdb (GDB) 9.2
Copyright (C) 2020 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Type "show copying" and "show warranty" for details.
This GDB was configured as "x86_64-unknown-linux-gnu".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>.

steshaw

{-# LANGUAGE TypeApplications #-}

module Main where

fred :: IO Int
fred = do
  pln $ show @Int mb1
  pln $ show $ (mb1 :: Int)
  pure $ foo1 + foo2
  where

steshaw

module Main


foo : IO ()
foo = putStrLn "foo"

steshaw

module Main where

myFunc
  :: Functor m
  => Applicative m
  => Monad m
  => m a
  -> Int
  -> m a
myFunc m n = m

steshaw

{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE TemplateHaskell #-}

module Foo.EmbedFile
  ( ourEmbedFile,
    ourEmbedFileUtf8,
    traceSplices,
    relativeToProjectHome,
  )
where