Dependent Types and Multi-monadic Effects in F⋆

CompSciCabal / SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.

The Unlicense

77 stars 10 forks source link

Open bcdarwin opened 7 years ago

bcdarwin commented 7 years ago

Maybe the coolest programming language of today?