53 lines
872 B
Python
53 lines
872 B
Python
|
from prompt_toolkit.styles import Style
|
||
|
|
from prompt_toolkit.formatted_text import HTML, to_formatted_text
|
||
|
|
from prompt_toolkit import print_formatted_text
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
# | _.._ _.|_
|
||
|
|
# |_(_|| | ||_)
|
||
|
|
# 1.1.0
|
||
|
|
#
|
||
|
|
# __ __
|
||
|
|
# ,-` `` `,
|
||
|
|
# (` \ )
|
||
|
|
# (` \ `)
|
||
|
|
# (, / \ _)
|
||
|
|
# (` / \ )
|
||
|
|
# `'._.--._.'
|
||
|
|
#
|
||
|
|
# A λ calculus engine
|
||
|
|
|
||
|
|
|
||
|
|
style = Style.from_dict({
|
||
|
|
# Heading
|
||
|
|
"_h": "#FFFFFF bold",
|
||
|
|
|
||
|
|
# Version
|
||
|
|
"_v": "#B4EC85 bold",
|
||
|
|
|
||
|
|
# Lambda
|
||
|
|
"_l": "#FF6600 bold",
|
||
|
|
|
||
|
|
# Subtitle
|
||
|
|
"_s": "#B4EC85 bold"
|
||
|
|
})
|
||
|
|
|
||
|
|
html = HTML(f"""
|
||
|
|
<_h> | _.._ _.|_
|
||
|
|
|_(_|| | ||_)</_h>
|
||
|
|
<_v>1.1.0</_v>
|
||
|
|
__ __
|
||
|
|
,-` `` `,
|
||
|
|
(` <_l>\\</_l> )
|
||
|
|
(` <_l>\\</_l> `)
|
||
|
|
(, <_l>/ \\</_l> _)
|
||
|
|
(` <_l>/ \\</_l> )
|
||
|
|
`'._.--._.'
|
||
|
|
|
||
|
|
<_s> A λ calculus engine</_s>
|
||
|
|
|
||
|
|
"""[1:-1])
|
||
|
|
|
||
|
|
def show():
|
||
|
|
print_formatted_text(html, style = style)
|