Skip to content

Instantly share code, notes, and snippets.

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)
{-# 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)
@haruhi-s
haruhi-s / flashG.sh
Created September 8, 2018 07:27
two flash scripts for my hhkb
sleep 5; ./dfu-programmer.exe atmega32u4 erase --force && ./dfu-programmer.exe atmega32u4 flash hhkbG_rn42.hex && ./dfu-programmer.exe atmega32u4 reset