examples/greeting.ts


1
2
3
4
5
6
7
8
9
10
11

import { PutString, Bind, Kind1, ReadLine, Seq, PutStringLn } from '../stdlib'

interface GreetK extends Kind1<string> {
  return: Seq<[PutString<'Hello, '>, PutString<`${this['input']}\n`>]>
}

export type main = [
  PutStringLn<'Greetotron 6000 initializing...'>,
  PutString<'Your name? '>,
  Bind<ReadLine, GreetK>
]