I hereby claim:
- I am evertedsphere on github.
- I am evertedsphere (https://keybase.io/evertedsphere) on keybase.
- I have a public key ASDGWVt7w9p0qq-wKdAeIfrMe-TKuu4DvgpzI4s_MYY69Qo
To claim this, I am signing this object:
| # with entr and fd installed: | |
| # fd . koans --extension=hs | entr -cnrs "cabal test $(cat rhine-koans.cabal | grep test-suite | cut -d' ' -f2 | grep 1-4)" | |
| { | |
| inputs = { | |
| nixpkgs.url = "github:NixOS/nixpkgs"; | |
| flake-parts.url = "github:hercules-ci/flake-parts"; | |
| haskell-flake.url = "github:srid/haskell-flake"; | |
| }; |
| /* Compact tab layout */ | |
| :root { --tab-height: 40px !important; } | |
| .tab { height: 40px !important; margin: 0; padding: 0; } | |
| /* Shrink space between pinned tabs and tab bar, only when pins are present */ | |
| #tabbar[style*="margin"] { margin-top: 20px !important; } | |
| /* Show title of unread tabs with red font */ | |
| .tab.unread .label { | |
| color: red !important; | |
| } |
| -- a tiny tutorial. | |
| {-# LANGUAGE TypeApplications, ScopedTypeVariables #-} | |
| module Main where | |
| -- read until the end for something that may be a surprise | |
| -- (if you're newer to haskell) | |
| import Control.Monad.State | |
| import Control.Category ((>>>)) |
I hereby claim:
To claim this, I am signing this object:
| #!/usr/bin/python3 | |
| # Original: | |
| # https://gist.github.com/t184256/f4994037a2a204774ef3b9a2b38736dc | |
| # I used this as a starting point. | |
| # This is an example Python program for Linux that remaps a keyboard. | |
| # The events (key presses releases and repeats), are captured with evdev, | |
| # and then injected back with uinput. |
| ; TODO load int32 etc by value instead of jumping through a pointer | |
| ; like we currently do for consistency | |
| target triple = "x86_64-unknown-linux-gnu" | |
| %Arglist = type { i32, i32, %Value* } ; pointer to a list of values | |
| %Func = type void (%Value*, %Arglist*)* | |
| %Value = type { i8, [24 x i8] } |
| (fn | |
| #:name Main_main | |
| #:args [] | |
| #:body (app #:fn PrimIO_putStrLn #:args [(constant #:type 'string #:val "hello world")])) | |
| (fn | |
| #:name Prelude_case__3176_3342 | |
| #:args [arg_0 arg_1] | |
| #:body | |
| (con-case |
| (^fn | |
| :name prim__add_Int | |
| :args [arg_0 arg_1] | |
| :body (^prim-app :op +Int :args [arg_0 arg_1])) | |
| (^fn | |
| :name prim__add_Integer | |
| :args [arg_0 arg_1] | |
| :body (^prim-app :op +Integer :args [arg_0 arg_1])) |