New version of Rust Starlark, an implementation of a deterministic Python-like language
developers.facebook.com/blog/post/2021/04/08/...8019
ndmitchell
u/ndmitchell
developers.facebook.com
9816
The DAML programming language community
30
Proving simple stuff with Idris - feedback appreciated
neilmitchell.blogspot.co.uk/2017/05/proving-s...165
6212
Running two pieces of Conduit in parallel (Neil Mitchell's blog)
neilmitchell.blogspot.co.uk/2015/07/parallelp...2611
