yfyf

\documentclass[12pt]{article}
\usepackage{amsfonts, amsthm, amsmath}
\usepackage{verbatim} 
\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{0in}
\setlength{\textheight}{9.5in}
\setlength{\topmargin}{0in}
\setlength{\headheight}{0in}
\setlength{\headsep}{0in}
\setlength{\parskip}{0pt}

yfyf

    Return = case NumberGrouping of
        default ->
            Nums = [Nr || {Nr, _} <- ctree:get_nr(ResultTree, [{count, Limit}])],
            Sublist = case Limit of
                infinity ->
                    Numbers;
                L when is_integer(L) ->
                    lists:sublist(number_utils:expand_list(Nums), Limit)
            end,
            number_utils:reduce_list(Sublist).

yfyf

-module(foobar_rebar_plugin).

-export([
    pre_compile/2
]).

pre_compile(Config, AppFile) ->
    case is_explicit_plugin(Config) of
        true ->
            %% Do Stuff.

yfyf

Pid = spawn(fun() -> F = fun (Fun) -> receive A -> erlang:display(A), Fun(Fun) end end, F(F) end).

yfyf

• sudo apt-get install gcc vim-nox ruby ruby-dev
• do the stuff from INSTALLATION
• compile C extension manually

yfyf

%% If your shell is setup correctly then inputing unicode chars should work like this:
1> A = "žžžūvis".
[382,382,382,363,118,105,115]
%% Contains integers > 255,
%% hence this is a list of codepoints, good!

%% None of these will work:
17> <<"žžžūvis">>.
** exception error: bad argument
18> <<"žžžūvis"/utf8>>.

yfyf

-define(FULL_EUNIT_OUTPUT(Expr),
   begin
       try Expr
       catch
           _:Foo ->
               ?debugFmt("~n~100P~n", [Foo, 999999]),
               erlang:error(eunit_assert_failed)
       end
   end).

yfyf

-module(refl).

-compile(export_all).

normal(Foo) ->
    lists:sort([Foo]).

bad(Mod, Fun, Foo) ->
    Mod:Fun([Foo]).

yfyf

module Issue

data Env : (t: Type) -> (iR: t -> Type) -> (xs: Vect t n) -> Type where
   Empty : {iR: t -> Type} -> (Env t iR Vect.Nil)
   Extend : {r:t} -> {iR: t -> Type} -> {xs: Vect t n} ->
                (res: (iR r)) -> (Env t iR xs) -> (Env t iR (r::xs))

data ElemAtIs : (i: Fin n) -> a -> Vect a n -> Type where
  ElemAtIsHere : {x: a} -> {xs : Vect a n} -> ElemAtIs fO x (x::xs)
  ElemAtIsThere : {i : Fin n} -> {x: a} -> {xs : Vect a n} ->

yfyf

Skipping ./ConcEnv.idr
Type checking ./ConcState.idr
ConcState.idr:134:Can't unify EffM IO effs effs () with EffM IO [(MkEff
    (ConcEnv ResState Resource rsin) eff)] xs' ()

Specifically:
    Can't unify effs with [MkEff (ConcEnv ResState Resource rsin) eff]
    ConcState.idr:176:Incomplete term Effects.>>= {m = IO} {xs = [MkEff
    (ConcEnv {n = 1} ResState Resource [(RState Z Nat)]) (ConcState
    IO),MkEff () StdIO]} {xs' = updateWith {a = EFFECT} {ys = [MkEff