Mroik

use std::time::Instant;

struct Engine {
    timer: Instant,
    tick_rate: u128,
    fps: u128,
    last_update: u128,
    last_draw: u128,
    acc: u128,
    width: i32,

Mroik

int: type.
z: int.
s: int -> int.

0 = z.
1 = s 0.
2 = s 1.
3 = s 2.
4 = s 3.
5 = s 4.

Mroik

int: type.
z: int.
s: int -> int.

0 = z.
1 = s 0.
2 = s 1.
3 = s 2.
4 = s 3.
5 = s 4.

Mroik

int: type.
z: int.
s: int -> int.

0 = z.
1 = s 0.
2 = s 1.
3 = s 2.
4 = s 3.
5 = s 4.

Mroik

int: type.
z: int.
s: int -> int.

0 = z.
1 = s 0.
2 = s 1.
3 = s 2.
4 = s 3.
5 = s 4.

Mroik

-module(remote_print).
-export([print/3]).

print(Node, String, Args) ->
	RemotePid = rpc:call(Node, erlang, whereis, [shell]),  % Assume that on Node `register(shell, self())` was ran
	{group_leader, RemoteGroup} = rpc:call(Node, erlang, process_info, [RemotePid, group_leader]),
	spawn(Node, io, format, [RemoteGroup, String, Args]).

Mroik

#!/bin/bash
tail -n +5 "$0" | dmenu -i -l 20 | cut -d\  -f1 - | sed -z "s/\n//g" | xclip -i -selection clipboard
exit

😀 Grinning Face
😃 Grinning Face with Big Eyes
😄 Grinning Face with Smiling Eyes
😁 Beaming Face with Smiling Eyes
😆 Grinning Squinting Face
😅 Grinning Face with Sweat

Mroik

astyle --style=kr --indent=tab -U -xg

Mroik

int: type.
z: int.
s: int -> int.

<: int -> int -> type.
%infix right 1 <.
less/0: X < s X.
less/1: X < s Y
    <- X < Y.

Mroik

int: type.
z: int.
s: int -> int.

<: int -> int -> type.
%infix right 1 <.
less/0: X < s X.
less/1: X < s Y
    <- X < Y.