romac

#!/usr/bin/env stack
-- stack script --resolver=lts-8.14 --package recursion-schemes --package transformers --package deriving-compat
{-# LANGUAGE TypeOperators
           , DeriveFunctor
           , DeriveFoldable
           , DeriveTraversable
           , DeriveGeneric
           , TemplateHaskell
           , MultiParamTypeClasses
           , FlexibleInstances

romac

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE FlexibleContexts #-}

module Data.Functor.Foldable.Monadic
  ( cataM
  , anaM
  , futuM
  ) where

import Protolude

romac

scala> :paste
// Entering paste mode (ctrl-D to finish)

import inox._
import inox.trees._
import inox.trees.dsl._
import inox.solvers._

// Exiting paste mode, now interpreting.

romac

LLVM 3.8 Bitcode Resources

• llvm-bcanalyzer
• LLVM Bitcode File Format

romac

import shapeless._
import shapeless.ops.product._
import shapeless.syntax.std.product._

case class Foo(a: Int, b: String)
case class Bar(a: Int, b: String, c: Foo)
case class Empty()
case object Object

trait CaseFromProduct[T] {

romac

/*
 * Decompiled with CFR 0_108.
 * 
 * Could not load the following classes:
 *  const$$anonfun
 *  const$$anonfun$lamConst
 *  scala.Function1
 *  scala.runtime.AbstractFunction1
 */
import scala.Function1;

romac

{-# LANGUAGE RankNTypes #-}

-- Church encoding of various data-types.
-- Very much inspired by Gabriel Gonzalez's talk "Internet of Code":
-- http://begriffs.com/posts/2015-10-16-internet-of-code.html
module Church where

import Prelude hiding (map, sum, foldr, and, not)

-- List

romac

language: haskell

sudo: false

cache:
  directories:
    - $HOME/.stack/

before_install:
  - mkdir -p ~/.local/bin

romac

SHELL = bash

BIN_DIR = ./node_modules/.bin
BROWSERIFY = $(BIN_DIR)/browserify

.PHONY: all clean

all: prod.js dev.js

prod.js:

romac

'use strict';

var Rx = require('./rx-lite'),
    React = require('react'),
    Players = require('./Players'),
    CurrentGames = require('./CurrentGames'),
    JoinRequests = require('./JoinRequests');

var Dashboard = React.createClass({