Saturday, May 23, 2020

Show HN: A dependently-typed programming language with static memory management https://ift.tt/3giBlmA

Show HN: A dependently-typed programming language with static memory management https://ift.tt/2LTNTTv May 23, 2020 at 09:18PM

No comments:

Post a Comment

Show HN: Pure Effect – Reproduce production bugs on your laptop without a DB https://ift.tt/KGo8nF3

Show HN: Pure Effect – Reproduce production bugs on your laptop without a DB Hi HN, I think it's safe to say that the majority of develo...