➜ /tmp time ./pythag-idris > /dev/null
4.49s user 0.02s system 99% cpu 4.514 total
➜ /tmp time dotnet pythag-idris.exe > /dev/null
4.23s user 0.03s system 99% cpu 4.265 total
This file contains 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 | |
# adapted from http://stackoverflow.com/questions/4060212/in-linux-how-do-i-run-a-shell-script-when-a-file-or-directory-changes/20381373#20381373 | |
DIRECTORY_TO_OBSERVE="src" | |
BUILD_SCRIPT=./gradlew | |
function block_for_change { | |
inotifywait -r \ | |
-e modify,move,create,delete \ | |
--exclude ".*/build/.*" \ |
This file contains 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
.workspace { | |
font-size: 15pt; | |
text-rendering: optimizeLegibility; | |
} | |
.tree-view { | |
font-size: 14pt; | |
} | |
.editor { |
This file contains 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
(ns composition.core | |
(:require [com.stuartsierra.dependency :as dep])) | |
#_(defprotocol Component ; an interesting thought | |
(dependencies [component]) | |
(constructor [component configuration])) | |
(defn using [dependencies constructor] | |
{::dependencies dependencies | |
::constructor constructor}) |
This file contains 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
.assembly extern mscorlib | |
{ | |
.ver 2:0:0:0 | |
.publickeytoken = (B7 7A 5C 56 19 34 E0 89) | |
} | |
.assembly 'HelloIdris' {} | |
.class private M | |
{ | |
.method static assembly object call__IO(object e0, object e1, object e2) cil managed | |
{ |
This file contains 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
SFun Prelude.Applicative.*> [{e0},{e1},{e2},{e3},{e4},{e5}] 5 | |
(SLet (Loc 6) | |
(SLet (Loc 6) | |
(SLet (Loc 6) SNothing | |
(SLet (Loc 7) SNothing | |
(SLet (Loc 8) SNothing | |
(SApp False Prelude.Applicative.<*> [Loc 6,Loc 7,Loc 8,Loc 3])))) | |
(SLet (Loc 7) | |
(SLet (Loc 7) | |
(SLet (Loc 7) |
This file contains 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
model { | |
components { | |
// External components are modeled just like internal ones. | |
mavenLibrary 'collections' { | |
org 'com.acme' | |
version '1.0' | |
} |
This file contains 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
import org.gradle.api.artifacts.dsl.* | |
import org.gradle.api.plugins.* | |
import org.gradle.api.publish.* | |
import org.gradle.api.publish.maven.* | |
import org.gradle.api.tasks.bundling.Zip | |
import org.gradle.api.tasks.bundling.ZipEntryCompression | |
import org.gradle.jvm.tasks.Jar | |
import org.gradle.script.lang.kotlin.* | |
import java.util.concurrent.Callable |
This file contains 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
.method static assembly object 'Data.HashSet.popcnt'(object 'e0') cil managed | |
{ | |
.maxstack 2 | |
.locals init ( | |
int32 l0, | |
int32 l1, | |
int32 l2, | |
int32 l3, | |
int32 l4, | |
int32 l5) |
This file contains 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
// Execute Kotlin script with: | |
// | |
// gradle -q foo | |
// | |
// For correctness, we're going to configure two independent classpath configurations, one for kotlinc and the other for the | |
// script(s) we want to execute. | |
configurations { | |
kotlinc |