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:
/* 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])) |