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 bob1029 on Sunday September 12, 2021 @10:00AM (#28501207)
Very nearly, yes. The biggest distinction is that all keys are synthetic.
[ Parent | on HN ]

There are no comments on this comment yet.