- Abolish
- Airline
- CtrlP
- Endwise
Keith Pinson Kazark
Kazark
/ ExhaustivePrint.idr
Created
January 12, 2019 21:15
How to create exhaustive print function for "enum" in Idris, off a string map
This file contains hidden or 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
| %default total | |
| data RPS = Rock | Paper | Scissors | |
| Eq RPS where | |
| Rock == Rock = True | |
| Paper == Paper = True | |
| Scissors == Scissors = True | |
| _ == _ = False |
This file contains hidden or 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 Rubik | |
| %default total | |
| %access public export | |
| ||| "North", "south", "east" and "west" face orientations | |
| data Orient = N | E | S | W | |
| turnCW : Orient -> Orient | |
| turnCW N = E |
Kazark
/ NotNotLEM.idr
Last active
November 13, 2018 15:17
Intuitionist logic is by no means denying the law of excluded middle!
This file contains hidden or 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 NotNotLEM | |
| %default total | |
| %access public export | |
| notDistributesOverEither : Not (Either a b) -> (Not a, Not b) | |
| notDistributesOverEither neither = (notLeft neither, notRight neither) where | |
| notLeft : Not (Either a b) -> Not a | |
| notLeft neither x = neither (Left x) |
This file contains hidden or 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
| " Usage: | |
| " Copy this file to your ~/.vim/autoload directory. | |
| " :edit oldfile | |
| " :new newfile | |
| " :call wdiff#highlight(2, 1) " wdiff#highlight(winnr1, winnr2) | |
| let s:save_cpo = &cpo | |
| set cpo&vim | |
| function wdiff#highlight(Awinnr, Bwinnr) |
This file contains hidden or 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
| {-# LANGUAGE InstanceSigs #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| module TKD where | |
| import Control.Applicative | |
| befunge :: (x -> y) -> (y -> (w, z)) -> x -> w | |
| befunge f g = | |
| fst . g . f |
This file contains hidden or 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
| Chocolatey is running on Windows v 6.3.9600.0 | |
| Attempting to delete file "C:/ProgramData/chocolatey/choco.exe.old". | |
| Attempting to delete file "C:\ProgramData\chocolatey\choco.exe.old". | |
| Command line: "C:\ProgramData\chocolatey\choco.exe" install psexec -debug -verbose | |
| Received arguments: install psexec -debug -verbose | |
| RemovePendingPackagesTask is now ready and waiting for PreRunMessage. | |
| Sending message 'PreRunMessage' out if there are subscribers... | |
| [Pending] Removing all pending packages that should not be considered installed... | |
| The source 'https://chocolatey.org/api/v2/' evaluated to a 'normal' source type |
Kazark
/ ConEmu.xml
Last active
April 3, 2024 15:39
This file contains hidden or 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
| <!-- GistID: b0b77af78032899145fb0ed50737fe6a --> | |
| <?xml version="1.0" encoding="utf-8"?> | |
| <key name="Software"> | |
| <key name="ConEmu"> | |
| <key name=".Vanilla" modified="2016-06-17 09:36:38" build="160612"> | |
| <value name="StartType" type="hex" data="02"/> | |
| <value name="CmdLine" type="string" data=""/> | |
| <value name="StartTasksFile" type="string" data=""/> | |
| <value name="StartTasksName" type="string" data="{Shells::PowerShell}"/> | |
| <value name="StartFarFolders" type="hex" data="00"/> |
This file contains hidden or 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
| " GistID: 1f58a89ee81c0c2620e3 | |
| set nocompatible " be iMproved, required | |
| filetype off " required | |
| " set the runtime path to include Vundle and initialize | |
| if has("win32") | |
| set runtimepath+=~/vimfiles/bundle/Vundle.vim | |
| call vundle#begin('~/vimfiles/bundle') | |
| else | |
| set runtimepath+=~/.vim/bundle/Vundle.vim |
Kazark
/ .ideavimrc
Created
August 7, 2015 18:29
This file contains hidden or 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
| " Gist-ID: 84e25967614138136eca | |
| " Screw Vi-compatibility; let's make sense around here | |
| " From http://vimrcfu.com/snippet/88 | |
| map Y y$ | |
| " From my Kazarc plugin https://github.com/Kazark/vim-kazarc ----------------- | |
| " Why hold down the shift key? The default mapping of ; is not very useful | |
| nmap ; : | |
| vmap ; : |