View show script class
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
def foo | |
p self | |
end | |
p self | |
foo |
View peano.pl
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
% Peano's Axioms | |
:- module(peano, [ | |
is_zero/1, | |
is_natural/1, | |
equal/2, | |
add/3, | |
subtract/3, | |
multiply/3, | |
divide/3 | |
]). |
View peano.pl
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
% Peano's Axioms | |
:- module(peano, [ | |
is_zero/1, | |
is_natural/1, | |
equal/2, | |
pred/2 | |
]). | |
/** Peano's Axioms | |
* |
View maybe.ts
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
type Maybe<T> = T | undefined; | |
function maybeMap<T, U>(mv: Maybe<T>, f: (v:T) => U) : Maybe<U> { | |
if(mv !== undefined) { | |
return f(mv); | |
}else{ | |
return undefined; | |
} | |
} | |
function maybeBind<T, U>(mv: Maybe<T>, f: (v:T) => Maybe<U>) : Maybe<U> { | |
if(mv !== undefined) { |
View Foldit.exs
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
defmodule FolditTest do | |
use ExUnit.Case | |
doctest Foldit | |
def to_keyword([], keyword), do: keyword | |
def to_keyword([val], keyword) do | |
Keyword.update(keyword, nil, [val], fn existing -> [val | existing] end) | |
end |
View Id.elm
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
type Id | |
= Id Int | |
idIs : Id -> { a | id : Id } -> Bool | |
idIs thisId = | |
idFieldIs .id thisId | |
idFieldIs : (a -> Id) -> Id -> a -> Bool |
View UserAlert.elm
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
module Shared.UserAlert exposing (UserAlert, Msg, show, startShowAlertAnimation, startHideAlertAnimation, default, update, view) | |
import Helpers exposing (classes) | |
import Shared.Animation as Animation | |
import Html exposing (Html, div, span, text) | |
import Html.Attributes exposing (class) | |
import Task | |
type UserAlert |
View Editable.elm
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
module Editable exposing (..) | |
type Editable ofType | |
= NotEditing { value : ofType } | |
| Editing { originalValue : ofType, buffer : ofType } | |
value : Editable ofType -> ofType | |
value editable = |
View Elm.rake
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
namespace :elm do | |
Apps = [ "WorkspaceMain", "ManageSubscribersMain", "NotebookMain", "ResponsesMain" ] | |
JsFileName = "irn_elm.js" | |
JsOutputDir = "app/assets/javascripts" | |
desc "Updates packages, compiles the Elm code and copies it to #{JsOutputDir}" | |
task :compile_and_copy => [:package_install, :make, :copy] do | |
puts "Updated Packages, Compiled and copied Elm code to #{JsOutputDir}" | |
end |
View Api.Error.elm
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
-- support stuff for remote stuff | |
type alias ErrorMessages = | |
Dict.Dict String (List String) | |
type alias ApiError = | |
{ message : String | |
, errors : ErrorMessages | |
, explanation : Maybe String | |
} |
NewerOlder