- https://github.com/hypotext/software-foundations
- https://github.com/haklabbeograd/software-foundations-coq-workshop
- https://github.com/lkuper/software-foundations
- https://github.com/co-dan/software-foundations
- https://github.com/timjb/software-foundations
- https://github.com/Blaisorblade/Software-Foundations
- https://github.com/lunaryorn/exercises
- https://github.com/joshcough/software-foundations
- https://github.com/sfja/sfja (very weeabooful)
- https://github.com/edgemaster/software-foundations
This file contains hidden or 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
> nix-build -A haskellPackages.liblastfm --dry-run | |
these derivations will be built: | |
/nix/store/030bhqpnza6xjr7x1ljyxijz96y3aqcx-byteable-0.1.1.tar.gz.drv | |
/nix/store/05dx9vjkqdg61886gjj0d4qd4gpvp7i2-haskell-cryptohash-ghc7.8.3-0.11.6-shared.drv | |
/nix/store/0dla3dkdijwwdazcmr3ngbr0w902sb0z-crypto-numbers-0.2.3.tar.gz.drv | |
/nix/store/0dyjz5fmwqy2cyvdg0nwnsfv4ywaxms5-bootstrap-glibc.drv | |
/nix/store/0g5wn1j1rnvv8mcswivw370y6c1j88ng-haskell-punycode-ghc7.8.3-2.0-shared.drv | |
/nix/store/0ikg161x1s06gr3n4k31qxbkkx5q5c6z-haskell-setenv-ghc7.8.3-0.1.1.1-shared.drv | |
/nix/store/0j2wgcfg3r6y2hhsywdzcjb5r67vwq4z-smallcheck-1.1.1.tar.gz.drv | |
/nix/store/0rixhgcs1nkdmfbpi7sdszb9gm2b1bx7-xz-5.0.5.tar.bz2.drv |
This file contains hidden or 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
>> nix-shell -p myHaskellPackages.dotfiles | |
error: file `/home/yep/dmalikov/dotfiles/biegunka/.hdevtools.sock' has an unsupported type | |
(use `--show-trace' to show detailed location information) |
This file contains hidden or 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
$ [[ -n "$(echo "string with word word" | grep -o word))" ]] && echo contains | |
contains | |
$ [[ -n "$(echo "string without it" | grep -o word))" ]] && echo contains | |
contains | |
This file contains hidden or 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
cabal.mkDerivation (self: { | |
pname = "cabal2nix"; | |
version = "0.1"; | |
src = /home/yep/git/cabal2nix/; | |
isLibrary = true; | |
$ nix-shell -p myHaskellPackages.cabal2nix | |
error: syntax error, unexpected ';', at /home/yep/.nixpkgs/cabal2nix/default.nix:14:32 | |
(use `--show-trace' to show detailed location information) |
Various blog posts related to Nix and NixOS
- https://nixos.org/wiki/Main_Page Nix wiki. Awesome resource containing huge amount of manuals and documentation with examples.
- http://aflatter.de/nixos/ Alexander Flatter - NixOS. Installing NixOS inside a VirtualBox with a real-world
configuration.nix
example. - http://lethalman.blogspot.it/search/label/nixpills Luca Bruno - Nix Pills. Series of posts describing how to install nix into some environment and how to use it.
- http://looprecur.com/blog/from-ubuntu-to-nixos/ Tim Sears - From Ubuntu to NixOS. Talk about experience migrating from Ubuntu to NixOS.
This file contains hidden or 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
module Eu where | |
import Control.Applicative ((<$>)) | |
import Data.Function (on) | |
import Data.List (groupBy, intercalate) | |
import Data.List.Split (splitOn) | |
import qualified Data.Map as M | |
import Data.Maybe (mapMaybe) | |
main :: IO () |
This file contains hidden or 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
$ powershell ./wut.ps1 | |
String is null | |
String is null | |
String is empty |
This file contains hidden or 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
$ cat function.ps1 | |
function f() { | |
{ param($x) "expected output" }.Invoke() | |
} | |
function g() { | |
{ param($x) "unexpected" }.Invoke() | |
return "output" | |
} |
This file contains hidden or 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
PS C:\> { param($x) { param($y) $x + $y } }.Invoke(10).Invoke(20) | |
20 | |
PS C:\> { param($x) { param($y) $x + $y }.GetNewClosure() }.Invoke(10).Invoke(20) | |
30 | |
PS C:\> ({ param($x) { param($y) $y * $x } }.Invoke(10).Invoke(20)) -eq 0 | |
True | |
PS C:\> ({ param($x) { param($y) $x * $y } }.Invoke(10).Invoke(20)) -eq $null | |
True |