News for hackers. Stuff that matters.

A comment on A Pure Types-Driven real-world apps development approach. Parent comment

Re:A Pure Types-Driven real-world apps development approach by dsego on Sunday September 12, 2021 @07:32AM (#28500224)
Is that anchor modelling?
[ Parent | on HN ]
Re:A Pure Types-Driven real-world apps development approach by bob1029 on Sunday September 12, 2021 @10:00AM (#28501207)
Very nearly, yes. The biggest distinction is that all keys are synthetic.
[ Parent | on HN ]