Hello Constraint

2026-08-09

Some prose with inline math \lambda x.\ x mid-sentence.

\sum_{i=0}^{n} h_i = \texttt{sha256}(\dots)

rule(reduce(Goal, State), step(Goal, State, Next)) :-
    unifiable(Goal, Head, _).


def main():
    print(fibonacci(10))

def fibonacci(n):
    if n <= 1:
        return n
    else:
        return fibonacci(n-1) + fibonacci(n-2)

if __name__ == "__main__":
    main()

A blockquote, to see default styling.