b0oh

(let ((true (lambda (true false) true))
      (false (lambda (true false) false))
      (and (lambda (pred1 pred2) (pred1 pred2 pred1)))
      (if (lambda (pred true false) (pred true false)))
      (+1 (lambda (num succ zero) (succ (num succ zero))))
      (+ (lambda (num1 num2 succ zero) (num1 succ (num2 succ zero))))
      (* (lambda (num1 num2 succ zero) (num1 (num2 succ) zero)))
      (^ (lambda (num1 num2) (num2 num1)))
      (-1 (lambda (num succ pred)
            (num (lambda (g h) (h (g succ)))

b0oh

all:
	node work2mlc.js getwork.json 381353fa >test.mlc
	lambda -pem lib.mlc -f test.mlc

clean:

b0oh

#define __STDC_CONSTANT_MACROS

#include <stdint.h>
#include <inttypes.h>
#include <windows.h>
#include <stdio.h>

extern "C"
{
#include <libavfilter/avfilter.h>

b0oh

Typing Haskell in Haskell

MARK P. JONES

Pacific Software Research Center

Department of Computer Science and Engineering

Oregon Graduate Institute of Science and Technology

b0oh

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
import Yesod

data Links = Links

mkYesod "Links" [parseRoutes|
/      HomeR  GET

b0oh

// ==UserScript==
// @name        DuckDuckGo Explicit
// @namespace   https://gist.github.com/b0oh/01354c52e2b66ccbf7a8
// @include     https://duckduckgo.com/*
// @version     1
// @grant       none
// ==/UserScript==

$(document).ready(function () {
  var results = $('.results');

b0oh

-module(index).
-export([main/0, title/0, body/0, event/1]).
-include_lib("nitrogen_core/include/wf.hrl").
-include("records.hrl").

main() -> #template { file="./site/templates/bare.html" }.

title() -> "Simple Chat".

body() ->

b0oh

module dff_async_reset (
  input wire reset,
  input wire clock,
  input wire [7:0] input_data,
  output reg [7:0] output_data
);

always @(posedge clock or posedge reset)
  if (reset)
    output_data <= 0;

b0oh

module Fantom where

data NoPower
data Power

data Product = Donut | Bread deriving Show

data Oven product power = Oven product

oven :: Product -> Oven Product NoPower

b0oh

# helpers

inc = (x) -> x + 1

church = (n) ->
  if n > 0
    succ church n-1
  else
    zero