News for hackers. Stuff that matters.
Re:Show HN: Dependently typed language for proofs that you c... by caotic123 on Saturday October 02, 2021 @02:49AM (#28726552)
Well, half of it does not have to be necessarily implemented in the core (we are not talking of complex languages like Agda), but yeah, I think if you do not know anything about the PomPom will take some time to finalize it. But I am pretty sure if you have some knowledge about the core you can have a lot of progress in one day.

There are no comments on this comment yet.