This file contains 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
import Control.Monad | |
import Data.List | |
import Data.Ratio | |
import Test.Speculate.Utils | |
data Expr a = T Char (Expr a) (Expr a) | L a deriving Eq | |
instance Show (Expr Double) where | |
show (L a) = show (truncate a) | |
show (T op a b) = "(" ++ show a ++ [op] ++ show b ++ ")" | |
instance Show (Expr Integer) where |
This file contains 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
(defcfg | |
input (device-file "/dev/input/by-path/platform-i8042-serio-0-event-kbd") | |
output (uinput-sink | |
"KMonad" | |
"sleep 0.2s; xset r rate 250 50; sleep 0.2s; setxkbmap -option compose:menu") | |
) | |
#| -------------- Keeb Pattern ------------------------------ | |
(deflayer name | |
esc f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 ins prnt del |
This file contains 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
#SingleInstance Force | |
if not A_IsAdmin | |
{ | |
Run *RunAs "%A_ScriptFullPath%" ; Requires v1.0.92.01+ | |
ExitApp | |
} | |
getSelection(){ | |
ClipSaved := ClipboardAll | |
Clipboard := "" |
This file contains 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
#SingleInstance Force | |
if not A_IsAdmin | |
{ | |
Run *RunAs "%A_ScriptFullPath%" ; Requires v1.0.92.01+ | |
ExitApp | |
} | |
getSelection(){ | |
ClipSaved := ClipboardAll | |
Clipboard := "" |
This file contains 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
f (x,y) = case (mod x 3, mod y 2) of | |
(1,0) -> True | |
_ -> False | |
g (x,y) = case (mod x 3, mod y 2) of | |
(0,_) -> True | |
_ -> False | |
s = [(1,4),(6,2),(6,6),(6,2),(3,6),(4,2),(4,4),(1,1),(1,5),(4,5),(2,1),(6,3),(2,5),(2,5),(6,4),(2,1),(3,6),(4,3),(5,2),(3,5),(4,3),(4,1),(5,2),(5,6),(6,2),(2,6),(2,3),(3,5),(6,4),(2,6),(1,3),(2,2),(3,1),(4,6),(4,5),(1,3),(6,1),(5,4),(6,3),(5,5),(5,5),(6,2),(1,5),(3,6),(2,5),(1,5),(5,2),(6,6),(3,1),(4,5),(3,3),(1,6),(4,1),(2,2),(5,4),(5,5),(1,1),(4,5),(3,2),(5,3),(6,5),(6,1),(5,6),(4,4),(1,3),(5,4),(6,1),(4,4),(1,1),(6,5),(5,3),(2,6),(5,1),(5,5),(1,4),(5,4),(6,6),(5,6),(2,2),(6,2),(4,2),(6,2),(3,1),(1,2),(3,2),(6,3),(2,1),(2,6),(3,2),(3,3),(1,4),(4,3),(2,4),(1,6),(6,2),(5,4),(2,6),(2,5),(1,1),(2,3),(1,3),(1,3),(4,6),(1,2),(4,4),(4,6),(4,4),(6,6),(2,3),(3,3),(2,1),(6,1),(2,4),(2,1),(1,5),(1,2),(5,6),(6,1),(4,5),(5,4),(3,4),(1,5),(5,2),(3,6),(4,6),(2,5),(6,3),(4,4),(6,2),(6,3),(1,6),(6,3),(5,2),(5,4),(1,2),(2,3),(1,3),(5,1),(4,4),(3,2),(1,6),(2,2),(6,1),(6,5),(3,3),(3,1),(2,3),(2,4) |
This file contains 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 DeriveFunctor #-} | |
import Data.Functor.Fixedpoint | |
data E r = | |
Block [r] | | |
Define String (DefExpr r) | |
deriving (Functor, Show) | |
data DefExpr r = | |
Function [String] r | |
deriving (Functor, Show) |
This file contains 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
sleep 5; ./dfu-programmer.exe atmega32u4 erase --force && ./dfu-programmer.exe atmega32u4 flash hhkbG_rn42.hex && ./dfu-programmer.exe atmega32u4 reset |