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.
[ Parent
| on HN ]
There are no comments on this comment yet.