Stars
My experiences during the 21 days lock down in India because of Corona Virus Pandemic (CoVid-19)
1
Updated Apr 5, 2020
Invariant Generation as Type Inference with GADTs and Existentials
Embedded language for high-performance array computations
Share and collaborate by syncing with any Git repository instantly. Linux, macOS, and Windows