First Program
> type HelloWorld = Hi;
=> (): ()
> Hi
=> Hi: HelloWorld
Note: Phox currently has no string type or I/O.
That means you can’t even write “Hello, World!” yet —
but you can prove thatfact 5 = 120with full type safety 😉
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
> type HelloWorld = Hi;
=> (): ()
> Hi
=> Hi: HelloWorld
Note: Phox currently has no string type or I/O.
That means you can’t even write “Hello, World!” yet —
but you can prove thatfact 5 = 120with full type safety 😉