examples/file.ts


1
2
3
4
5
6
7
8
9

import { Bind, Kind1, ReadFile, PutStringLn } from '../src/stdlib'

interface PrintK extends Kind1<string> {
  return: PutStringLn<this['input']>
}

export type main = [
  Bind<ReadFile<"./default.nix">, PrintK>,
]