stack2nix . > nix/stack.nix
nix-shell default.nix -A api
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
[Glutin] Could not create headless context NoAvailablePixelFormat | |
[Glutin] OpenGL Headless Context: ContextBuilder { gl_attr: GlAttributes { sharing: None, version: Latest, profile: None, debug: true, robustness: TryRobustNoResetNotification, vsync: false }, pf_reqs: PixelFormatRequirements { hardware_accelerated: Some(true), color_bits: Some(24), float_color_buffer: false, alpha_bits: Some(8), depth_bits: Some(8), stencil_bits: Some(8), double_buffer: Some(true), multisampling: None, stereoscopy: false, srgb: true, release_behavior: Flush, x11_visual_xid: None } } | |
[Glutin] Primary monitor: MonitorHandle { inner: Wayland(MonitorHandle { name: Some("0x313d (AUO)"), native_identifier: 37, size: PhysicalSize { width: 1920, height: 1080 }, position: PhysicalPosition { x: 0, y: 0 }, scale_factor: 1 }) } | |
[Glutin] Could not create headless context NoAvailablePixelFormat | |
[Glutin] OpenGL Headless Context: ContextBuilder { gl_attr: GlAttributes { sharing: None, version: Latest, profile: None, debug: true, robustness: T |
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
name of display: :0 | |
display: :0 screen: 0 | |
direct rendering: Yes | |
server glx vendor string: SGI | |
server glx version string: 1.4 | |
server glx extensions: | |
GLX_ARB_context_flush_control, GLX_ARB_create_context, | |
GLX_ARB_create_context_no_error, GLX_ARB_create_context_profile, | |
GLX_ARB_fbconfig_float, GLX_ARB_framebuffer_sRGB, GLX_ARB_multisample, | |
GLX_EXT_create_context_es2_profile, GLX_EXT_create_context_es_profile, |
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
apt install clang python-dev libzmq-dev libcrypt-dev | |
pip install pyzmq | |
pip install jupyter |
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
> nix run nixpkgs.vagrant nixpkgs.virtualbox 0 < 15:28:02 | |
> ./scripts/vagrant.sh | |
+++ dirname ./scripts/vagrant.sh | |
++ cd ./scripts | |
++ pwd | |
+ DIR=/home/nico/Documents/stack2nix/scripts | |
+ cd /home/nico/Documents/stack2nix/scripts/.. | |
+ vagrant up | |
Bringing machine 'default' up with 'virtualbox' provider... |
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
with import <nixpkgs> {}; | |
let | |
ocamlPackages = pkgs.recurseIntoAttrs pkgs.ocamlPackages_4_03; | |
ocamlVersion = (builtins.parseDrvName ocamlPackages.ocaml.name).version; | |
findlibSiteLib = "${ocamlPackages.findlib}/lib/ocaml/${ocamlVersion}/site-lib"; | |
ocamlInit = pkgs.writeText "ocamlinit" '' | |
let () = | |
try Topdirs.dir_directory "${findlibSiteLib}" | |
with Not_found -> () |
I hereby claim:
- I am archaeron on github.
- I am archaeron (https://keybase.io/archaeron) on keybase.
- I have a public key ASCMJritEyCIwn247mMKQGggmI1uINWwo7qI8QMYtHCFUgo
To claim this, I am signing this object:
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
((((:filename ".\\Highlight\\Main.idr") (:start 1 8) (:end 1 22)) ((:namespace "Highlight.Main") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Main.idr"))) (((:filename ".\\Highlight\\Parser.idr") (:start 1 8) (:end 1 24)) ((:namespace "Highlight.Parser") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Parser.idr"))) (((:filename ".\\Highlight\\Regions.idr") (:start 1 8) (:end 1 25)) ((:namespace "Highlight.Regions") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Regions.idr"))) (((:filename ".\\Highlight\\Regions.idr") (:start 1 8) (:end 1 25)) ((:namespace "Highlight.Regions") (:decor :module) (:source-file "C:\\Users\\Nicolas\\Documents\\Programming\\Idris\\idris-code-highlighter\\src\\Highlight\\Regions.idr"))) (((:filename ".\\Highlight\\Formats.idr") (:start 1 8) (:end 1 25)) ((: |
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
module Test | |
a : (String -> Either String String) -> String | |
a b = | |
case b of | |
Left err => err | |
Right v => v |
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
module Main | |
import Data.Vect | |
main : IO () | |
main = putStrLn "Hello world\n\o44\5\xa4" | |
zipWithF : (a -> b -> c) -> List a -> List b -> List c | |
zipWithF f xs ys = ?zipWithF_rhs_2 |
NewerOlder