I hereby claim:
- I am cleichner on github.
- I am chas (https://keybase.io/chas) on keybase.
- I have a public key whose fingerprint is EB53 7E69 EAAC 25ED F926 9C92 4C07 A6D8 BE65 FBF6
To claim this, I am signing this object:
-- Copyright 2021 Google LLC. | |
-- SPDX-License-Identifier: Apache-2.0 | |
{-# LANGUAGE TypeFamilies #-} | |
{-# LANGUAGE PolyKinds #-} | |
{-# LANGUAGE RankNTypes #-} | |
{-# LANGUAGE TypeOperators #-} | |
module Main where | |
import Data.Functor.Identity | |
import Data.Functor.Product |
I hereby claim:
To claim this, I am signing this object:
#!/bin/sh | |
# name this .git/hooks/pre-commit | |
# chmod +x .git/hooks/pre-commit | |
# enjoy | |
# so it will work on empty repos | |
if git-rev-parse --verify HEAD >/dev/null 2>&1; then | |
against=HEAD | |
else | |
against=4b825dc642cb6eb9a060e54bf8d69288fbee4904 |
import Control.Monad | |
import Data.List | |
data BF a = Add a | |
| Move a | |
| StartLoop | |
| EndLoop | |
| Write | |
| Read | |
| Zero |
''' | |
Null module: | |
Responds to all actions and requests for members with a null object. | |
For example, this code will execute the debugging tools in development, but | |
won't do anything in production. | |
if environment == development: | |
import ExpensiveDebugging | |
else: |
#!/usr/bin/env python | |
''' | |
The MIT License (MIT) | |
Copyright (c) 2013 Chas Leichner | |
Permission is hereby granted, free of charge, to any person obtaining a copy | |
of this software and associated documentation files (the "Software"), to deal | |
in the Software without restriction, including without limitation the rights |
Copyright 2014 Chas Leichner | |
Licensed under the Apache License, Version 2.0 (the "License"); | |
you may not use this file except in compliance with the License. | |
You may obtain a copy of the License at | |
http://www.apache.org/licenses/LICENSE-2.0 | |
Unless required by applicable law or agreed to in writing, software | |
distributed under the License is distributed on an "AS IS" BASIS, |
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ | |
| _ _ _ _ | _ _ _ _ _ | | |
| |_|_ |_|_ _| _|_ _ _| | | |
| |_ _|_ | |_| |_ _ _| |_| | |
|_| |_ _ _|_ _ _| |_ _| | |
| | |_ _ | |_|_|_ | _|_ | | |
| _| | |_|_ _| |_ _ | | | |
| | | _| |_| |_ _ _| | | | |
| |_| |_|_ _ | |_ _|_ _|_ | | | |
|_| _| _ _ _| | | | _ _ | |_| |
# Jack Diederich wrote the advance function | |
# original code from http://pyvideo.org/video/880/stop-writing-classes | |
import collections | |
import curses | |
import gettext | |
import random | |
import signal | |
import sys | |
import time |
from heapq import heapify, heappop | |
from binascii import a2b_hex | |
from collections import defaultdict | |
from struct import unpack | |
from sys import argv, exit | |
def parse_byte(bstring): | |
return unpack('>B', a2b_hex(bstring))[0] | |
def dijkstra(graph, source): |