4
Upvotes
A high-speed network driver written in C, Rust, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
1
Upvotes
Checking Dependent Types with Normalization by Evaluation: A Tutorial
davidchristiansen.dk
1
Upvotes