~/tristan lang
~/documentation
~/journal
~/dists

initialization-order

2021/06/04 Type checking: The hard part begins