Copy the code over to http://elm-lang.org/try to try it out.
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
elm-stuff/ |
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 Html | |
-- EQUIVALENCE OF TYPES | |
type Equiv a b = Equiv (a -> b) (b -> a) | |
refl : Equiv a a | |
refl = | |
Equiv identity identity |
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 Main exposing (..) | |
import Html exposing (..) | |
import Html.Attributes exposing (..) | |
import Platform.Sub as Sub | |
import Html.Events exposing (..) | |
import Dict exposing (..) | |
import Debug as D exposing (..) | |
type Msg |
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
extern crate num; | |
extern crate ndarray; | |
use num::{Zero, Complex}; | |
use ndarray::prelude::*; | |
use ndarray::linalg::*; | |
fn main() { | |
let i = c64(0., 1.); |
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
#!/usr/bin/env bash | |
cd /opt/manuskript | |
python bin/manuskript |
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
package main | |
import ( | |
"log" | |
"golang.org/x/sync/errgroup" | |
) | |
func main() { | |
var g errgroup.Group |
Code is clean if it can be understood easily – by everyone on the team. Clean code can be read and enhanced by a developer other than its original author. With understandability comes readability, changeability, extensibility and maintainability.
- Follow standard conventions.
- Keep it simple stupid. Simpler is always better. Reduce complexity as much as possible.
- Boy scout rule. Leave the campground cleaner than you found it.
- Always find root cause. Always look for the root cause of a problem.
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
func runBuild(ctx context.Context, repos *repo.Set, flags *Flags) error { | |
phase := "syncing repos" | |
handle err { | |
return oops.Wrapf(err, "problem " + phase) | |
} | |
clones := check repo.SyncAll(ctx, repos, ".") | |
phase = "checking out appropriate branches" | |
check clones.EachTry(func(l repo.Local) error { | |
return l.CheckoutFirst(ctx, flags.branches.topic, flags.branches.default_) |
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
If { else_ = List [List [Literal (String "悿"),Literal (String "막굦𪿔掸"),Literal (String "ᯒ𱂯"),Literal (String ""),Literal (String "𰮪𩜻𐴊𰃗"),Literal (String "𱶨"),Literal (String "𥝾🌈𑊱"),Literal (String "𨲢𤛣"),Literal (String "璱榒𡭟"),Literal (String "𣡉")],List [Literal (String "矤𡖯"),Literal (String "㾲𞢲"),Literal (String "⳻福"),Literal (String "𝄠"),Literal (String "𢜰"),Literal (String "𤢖𧘾"),Literal (String ""),Literal (String ""),Literal (String "𫎶𠷄"),Literal (String "")],List [Literal (String ""),Literal (String ""),Literal (String "ꇋ"),Literal (String ""),Literal (String "𖺉𡔐"),Literal (String "펷"),Literal (String "𧂤"),Literal (String "𑐙𘞜𫶲"),Literal (String "𑌫𭫝"),Literal (String "𡬅𣴄")],List [Literal (String ""),Literal (String "එ𝙏"),Literal (String "揮 |