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
at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Show HN: Rewriting Scratch 3.0 from scratch in Lua (browser-free native runtime) https://ift.tt/5Af6h7W

Show HN: Rewriting Scratch 3.0 from scratch in Lua (browser-free native runtime) Built a native Scratch 3.0 runtime in Lua that runs .sb3 pr...