This file contains hidden or 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
-- Prevent working in non-sandboxed envs: | |
require-sandbox: True | |
-- Always enable test suite installation/building | |
tests: True | |
-- Always build documentation | |
documentation: True | |
-- Run (# of CPUs) build/fetch jobs in parallel | |
jobs: $ncpus | |
-- A few more options you might want to consider: | |
-- library-coverage: True |
This file contains hidden or 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
#!/bin/bash | |
set -euo pipefail | |
FILE=$1 | |
FILENAME=$(basename "$FILE") | |
BROWSER=iceweasel | |
OK=0 |
This file contains hidden or 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
happyNewToken action sts stk | |
= lexwrap(\tk -> | |
let cont i = happyDoAction i tk action sts stk in | |
case tk of { | |
alexEOF -> happyDoAction 18# tk action sts stk; | |
TokenLet -> cont 1#; | |
TokenIn -> cont 2#; | |
TokenFresh -> cont 3#; | |
TokenSpawn -> cont 4#; | |
TokenEnd -> cont 5#; |
This file contains hidden or 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
-- A port of: http://semantic-domain.blogspot.com/2015/03/abstract-binding-trees.html | |
{-# LANGUAGE DeriveFunctor #-} | |
module ABT where | |
import qualified Data.Foldable as Foldable | |
import Data.Foldable (Foldable) | |
import Data.Set (Set) | |
import qualified Data.Set as Set |
This file contains hidden or 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
#!/usr/bin/env python3 | |
# Adapted from: | |
# | |
# https://gist.github.com/mjcarroll/f620ef8d88efc3a03711259d6fc9a578 | |
# | |
# Original gist fixed to work with latest version of cartographer: | |
# | |
# [~/sensmetry/slam/cartographer:master]λ git describe --always | |
# bcd5486 |
OlderNewer