rustyfi 0.1.4

SATySFi command line interface: compile .saty documents to PDF
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

% Fixture: let-rec, match, let-inline (both the context-taking and
% the lightweight ctx-less forms), an inline-text `#var;` embed, and +p.

@require: stdja-mini

let-rec count-down n =
  if n == 0 then true else count-down (n - 1)

let finished = count-down 5

let-inline ctx \bracket it = read-inline ctx it

let-inline \announce it = it

let chosen =
  match finished with
  | true -> { Countdown complete. }
  | false -> { Countdown incomplete. }

in
document (|
  title = {Phase Two};
  author = {yasuo};
|) '<
  +p { \bracket{ Bracketed text via let-inline. } }
  +p { \announce{ Announced text via the lightweight let-inline form. } }
  +p { #chosen; }
>