Copy the code over to http://elm-lang.org/try to try it out.
This file contains hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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 hidden or 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 "揮 |