Benedict Eastaugh beastaugh

View ArticleRoutes.hs
1 2 3 4 5 6
routeArticle :: Routes
routeArticle = customRoute (flip replaceExtension ".html" . dropDate)
 
dropDate :: Identifier -> FilePath
dropDate ident = let file = toFilePath ident
in replaceFileName file (drop 11 $ takeFileName file)
View functions.php
1 2 3 4 5 6 7 8 9
<?php
 
function my_theme_init() {
if (!is_admin()) {
wp_enqueue_style('tarski_stylesheet', get_template_directory_uri() . '/style.css');
}
}
 
add_action('init', 'my_theme_init');
View gist:891344
1 2 3 4 5 6
-- Render RSS feed
route "rss.xml" $ idRoute
create "rss.xml" $
requireAll_ "posts/*"
>>> mapCompiler (arr $ copyField "body" "description")
>>> renderRss feedConfiguration
View gist:888519
1 2 3 4 5 6 7 8 9
~/projects/hakyll/examples/brochure (examples) $ ll
total 32
-rw-r--r-- 1 ionfish staff 724B 27 Sep 18:57 about.rst
-rw-r--r-- 1 ionfish staff 794B 27 Sep 18:57 code.lhs
drwxr-xr-x 4 ionfish staff 136B 15 Nov 15:25 css
-rw-r--r--@ 1 ionfish staff 504B 26 Mar 18:32 hakyll.hs
-rw-r--r--@ 1 ionfish staff 1.1K 27 Sep 18:57 index.markdown
drwxr-xr-x 3 ionfish staff 102B 19 Mar 12:13 templates
~/projects/hakyll/examples/brochure (examples) $ ghc --make hakyll.hs
View gist:834209
1 2 3 4 5 6 7 8 9 10
> (((P | Q) & ~(P & Q)) & R)
P Q R | (((P | Q) & ~(P & Q)) & R)
----------------------------------
T T T | F
T T F | F
T F T | T
T F F | F
F T T | T
F T F | F
F F T | F
View brew_install_rabbitmq.log
1 2 3 4 5 6 7 8 9 10
~ $ brew install rabbitmq
/usr/local/homebrew/bin/git
==> Cloning git://github.com/erlang/otp.git
Cloning into /Users/ionfish/Library/Caches/Homebrew/erlang--git...
remote: Counting objects: 32164, done.
remote: Compressing objects: 100% (11497/11497), done.
remote: Total 32164 (delta 22466), reused 28916 (delta 20028)
Receiving objects: 100% (32164/32164), 34.69 MiB | 1.62 MiB/s, done.
Resolving deltas: 100% (22466/22466), done.
==> Checking out tag OTP_R14B01
View ghci_log.txt
1 2 3 4 5
Prelude> :l time.hs
[1 of 1] Compiling Main ( time.hs, interpreted )
Ok, modules loaded: Main.
*Main> (Time 0) == 0
True
View bookmarklet
1
javascript:(function(){var b=document.getElementsByTagName('meta'),c=b.length,a;while(c--){a=b[c];if(a.name.toLowerCase()=='viewport'){a.parentNode.removeChild(a)}}})();
View type-theory.bib
1 2 3 4 5 6 7 8 9 10
@book { girard1989,
author = "Jean-Yves Girard and Yves Lafont and Paul Taylor",
title = "Proofs and Types",
publisher = "Cambridge University Press",
year = "1989",
isbn = "978-0521371810" }
 
@book { barendregt1984
author = "Henrik P. Barendregt",
title = "The Lambda Calculus: Its Syntax and Semantics",
View naive_set_theoretic_functions.hs
1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE OverloadedStrings #-}
module Data.Set.Naive
( empty
, member
, subset
, properSubset
, superset
, properSuperset
, powerset
, showSet
Something went wrong with that request. Please try again.