I hereby claim:
- I am remolueoend on github.
- I am remolueoend (https://keybase.io/remolueoend) on keybase.
- I have a public key whose fingerprint is 5E6A A6CA AEBC 9F6A EF2C 4353 24E1 6449 26A7 47AF
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
Thanks to https://gist.github.com/gravitylow/fb595186ce6068537a6e9da6d8b5b96d. This GIST is just a backup for my future self.
If you are getting this in gdb on macOS while trying to run a program:
Unable to find Mach task port for process-id 57573: (os/kern) failure (0x5).
(please check gdb is codesigned - see taskgated(8))
/******************************************************************************* | |
* ROFI Color theme | |
* User: Rasi | |
* Copyright: Rasmus Steinke | |
*******************************************************************************/ | |
* { | |
selected-normal-foreground: rgba ( 255, 255, 255, 100 % ); | |
foreground: rgba ( 193, 193, 193, 100 % ); | |
normal-foreground: @foreground; |
-- https://docs.idris-lang.org/en/latest/tutorial/typesfuns.html#dependent-types | |
import Data.Vect | |
insertionSort : (Ord a) => Vect n a -> Vect n a | |
insertionSort [] = [] | |
insertionSort (x::xs) = insert x (insertionSort xs) where | |
insert : (Ord a) => a -> Vect n a -> Vect (S n) a | |
insert v [] = [v] | |
insert v (l::ls) = if v <= l then v :: l :: ls else l :: (insert v ls) | |