Risto-Stevcev

?- use_module(library(clpfd)).
?- I in 1..5, findall(I, indomain(I), Is).
Is = [1, 2, 3, 4, 5],
I in 1..5.

Risto-Stevcev

:- use_module(library(reif)).

% A convenient version that can "understand" the non-monotonic predicates
iff_(Cond, Success, Failure) :-
    functor(Cond, _, Arity),
    if_(
        Arity = 3,
        if_(Cond, Success, Failure),
        if_([T]>> (call(Cond) -> T = true; T = false), Success, Failure)
    ).

Risto-Stevcev

Risto-Stevcev

This is how the require the lambda_streams package and test the output. Try changing the toplevel output to unit Sync.input:

# #require "lambda_streams";;
# open Lambda_streams;;
# let foo = Sync.pure 123;;
val foo : int Sync.input = <fun>

Risto-Stevcev

let _ = Js.log "hello world!"

let x =
  let open RistostevcevBsDeclaredom.Html in
  div [|text "foobar"|]

let _ =
  if Js.Option.isSome HotModuleReload.module_hot then
    let _ = HotModuleReload.on_accept @@ fun () -> Js.log "accept: reloading..."
    and _ = HotModuleReload.on_dispose @@ fun () -> Js.log "dispose: reloading..."

Risto-Stevcev

let _ = Js.log "hello world!"

let x =
  let open RistostevcevBsDeclaredom.Html in
  div [|text "foobar"|]

let _ =
  if Js.Option.isSome HotModuleReload.module_hot then
    let _ = HotModuleReload.on_accept @@ fun () -> Js.log "accept: reloading..."
    and _ = HotModuleReload.on_dispose @@ fun () -> Js.log "dispose: reloading..."

Risto-Stevcev

# This file has been auto-generated by i3-config-wizard(1).
# It will not be overwritten, so edit it as you like.
#
# Should you change your keyboard layout some time, delete
# this file and re-run i3-config-wizard(1).
#

# i3 config file (v4)
#
# Please see https://i3wm.org/docs/userguide.html for a complete reference!

Risto-Stevcev

-module(disassembler).
-export([disassemble/0]).

disassemble() ->
  compile:file('hello.erl', ['S']).

Risto-Stevcev

; To emit LLVM from C code (for discovery):
; clang -emit-llvm -S hello.c -o hello.ll

; Declare the printf function
declare i32 @printf(i8*, ...)

@.str = private unnamed_addr constant [14 x i8] c"hello world!\0A\00"

define i32 @main() noinline optnone {
  call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str, i32 0, i32 0))

Risto-Stevcev

(.)   ::    (b ->   c) ->    (a ->   b) ->    (a ->   c) -- functions
(.)   :: cat b      c  -> cat a      b  -> cat a      c  -- categories

(++)  ::     String    ->     String    ->     String    -- strings
(<>)  ::     a         ->     a         ->     a         -- monoids
(<>)  :: cat a      a  -> cat a      a  ->     a      a  -- categories

(++)  ::    [a]        ->    [a]        ->    [a]        -- lists
(<|>) ::   f a         ->   f a         ->   f a         -- alternatives
(<|>) :: cat a      a  -> cat a      a  ->     a      a  -- categories