remolueoend

-- 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)
        

remolueoend

/*******************************************************************************
 * 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;

remolueoend

My Playground

remolueoend

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))

remolueoend

Keybase proof

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: