Skip to content
Leo edited this page Jul 8, 2019 · 4 revisions

Husk uses its own code page, which contains exactly 256 characters, one for each byte. The printable ASCII characters correspond to their usual bytes, and all non-ASCII characters have a short alias.

Here are the characters of the code page (the space on the first line is really a newline):

¤½↕↑↓↔←→∟¦ ¡¿‼…‰†‡√≤≥±∂∫∞≈≠≡⌐¬÷×
 !"#$%&'()*+,-./0123456789:;<=>?
@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_
`abcdefghijklmnopqrstuvwxyz{|}~·
₀₁₂₃₄₅₆₇₈₉⌈⌉⌊⌋ΓΔΘΛΞΠΣΦΨΩαβγδεζηθ
λμξπρςστφχψω⁰¹²³⁴⁵⁶⁷⁸⁹¢£€¥ƒ´▲▼►◄
§ȦḂĊḊĖḞĠḢİĿṀṄȮṖṘṠṪẆẊẎŻȧḃċḋėḟġḣıȷ
ŀṁṅȯṗṙṡṫẇẋẏż¨ÄËÏÖÜŸØäëïöüÿø◊□¶«»

Here is a prettier table of the characters:

    _0 _1 _2 _3 _4 _5 _6 _7 _8 _9 _A _B _C _D _E _F
0_ ¤ ½ ¦ \n ¡ ¿
1_ ± ¬ ÷ ×
2_ ! " # $ % & ' ( ) * + , - . /
3_ 0 1 2 3 4 5 6 7 8 9 : ; < = > ?
4_ @ A B C D E F G H I J K L M N O
5_ P Q R S T U V W X Y Z [ \ ] ^ _
6_ ` a b c d e f g h i j k l m n o
7_ p q r s t u v w x y z { | } ~ ·
8_ Γ Δ
9_ Θ Λ Ξ Π Σ Φ Ψ Ω α β γ δ ε ζ η θ
A_ λ μ ξ π ρ ς σ τ φ χ ψ ω ¹ ² ³
B_ ¢ £ ¥ ƒ ´
C_ § Ȧ Ċ Ė Ġ İ Ŀ Ȯ
D_ Ż ȧ ċ ė ġ ı ȷ
E_ ŀ ȯ ż ¨ Ä Ë Ï
F_ Ö Ü Ÿ Ø ä ë ï ö ü ÿ ø « »

Aliases

In verbose mode, Husk programs can be written using only ASCII characters. Each non-ASCII character is replaces by an alias; for example, the alias of ¬ is neg, which in verbose Husk code is written \neg\. Here is the list of aliases.

Char Alias Char Alias Char Alias Char Alias
¤ cur ½ hlf ud up
dow lr lft rgt
ang ¦ bar ¡ exc ¿ que
dex ell ppm dag
ddg srd leq geq
± pm ptl int inf
apx neq cng gen
¬ neg ÷ div × eks · blt
nul one two tre
for fiv six sev
ate nin lce rce
lfl rfl Γ Gam Δ Del
Θ The Λ Lam Ξ Xi Π Pi
Σ Sig Φ Phi Ψ Psi Ω Ohm
α alp β bet γ gam δ del
ε eps ζ zet η eta θ the
λ lam μ mu ξ xi π pi
ρ rho ς sig σ sjg τ tau
φ phi χ chi ψ psi ω ohm
Nul ¹ One ² Two ³ Tre
For Fiv Six Sev
Ate Nin ¢ cnt £ gbp
eur ¥ yen ƒ fl ´ acu
top bot est wst
§ sec Ȧ dA dB Ċ dC
dD Ė dE dF Ġ dG
dH İ dI Ŀ dL dM
dN Ȯ dO dP dR
dS dT dW dX
dY Ż dZ ȧ da db
ċ dc dd ė de df
ġ dg dh ı di ȷ dj
ŀ dl dm dn ȯ do
dp dr ds dt
dw dx dy ż dz
¨ die Ä DA Ë DE Ï DI
Ö DO Ü DU Ÿ DY Ø sO
ä Da ë De ï Di ö Do
ü Du ÿ Dy ø so loz
squ pgf « ll » rr