m1dnight

\documentclass{article}
    \usepackage[utf8]{inputenc}
    \usepackage{listings,xcolor}
    \usepackage[T1]{fontenc}
    \usepackage{xcolor}
    \usepackage[scaled=0.9]{DejaVuSansMono}
\definecolor{commentgreen}{RGB}{2,112,10}
\definecolor{eminence}{RGB}{108,48,130}
\definecolor{weborange}{RGB}{255,165,0}
\definecolor{frenchplum}{RGB}{129,20,83}

m1dnight

{
module Lexer where
}

%wrapper "monadUserState"

$digit     = 0-9      -- digits
$alpha     = [a-zA-Z] -- alphabetic characters

-- Each token has a function on the RHS that is a function (String ->

m1dnight

Keybase proof

I hereby claim:

• I am m1dnight on github.
• I am cdetroye (https://keybase.io/cdetroye) on keybase.
• I have a public key ASA2VLzwVFkzPDY15qXgiytbsSqs3Xfa989HNwMePbOsuwo

To claim this, I am signing this object:

m1dnight

defmodule Anf do
@moduledoc 
"""
Author: Christophe De Troyer
"""
  require Logger

  ##############################################################################
  #                                  API                                       #
  ##############################################################################

m1dnight

defmodule Server do
    @moduledoc """
    A GenServer template for a "singleton" process.
    """
    use GenServer
    require Logger 

    def start_link(opts \\ []) do
        Logger.debug "Started with opts: #{inspect opts}"
        GenServer.start_link(__MODULE__, opts, [name: __MODULE__])

m1dnight

(function() {
  'use strict';

  var globals = typeof global === 'undefined' ? self : global;
  if (typeof globals.require === 'function') return;

  var modules = {};
  var cache = {};
  var aliases = {};
  var has = {}.hasOwnProperty;

m1dnight

Keybase proof

I hereby claim:

• I am m1dnight on github.
• I am cdetroye (https://keybase.io/cdetroye) on keybase.
• I have a public key ASCtmf-HaRWcx6ZP3JDcypdFDFn9tCYtdew0riLZLZoe0wo

To claim this, I am signing this object:

m1dnight

module Main where
import Control.Arrow
import Debug.Trace
import Control.Monad.State
import Data.List hiding (union)
import Data.Maybe
import Syntax
import Text.Printf

--        ____                _               _____                     _

m1dnight

module Main where
import Data.Maybe

--  ____  _                 _         _____                     _
-- / ___|(_)_ __ ___  _ __ | |_   _  |_   _|   _ _ __   ___  __| |
-- \___ \| | '_ ` _ \| '_ \| | | | |   | || | | | '_ \ / _ \/ _` |
--  ___) | | | | | | | |_) | | |_| |   | || |_| | |_) |  __/ (_| |
-- |____/|_|_| |_| |_| .__/|_|\__, |   |_| \__, | .__/ \___|\__,_|
--  _                |_| _    |___/_       |___/|_|     _            _
-- | |    __ _ _ __ ___ | |__   __| | __ _   / ___|__ _| | ___ _   _| |_   _ ___

m1dnight

module UnificationLearning
// Unification algorithm
//
// Portions Copyright (C) 2012 by Tomas Petricek
// Copyright (C) 2012 by Eric Taucher
// License: Creative Commons BY-SA Version 3.0
//
// This code is derived from a StackOverflow answer by Tomas Petricek
// See: http://stackoverflow.com/a/9525471/1243762
//