Sakshi Priya

Sakshi Priya

Jan
21

F* : A general-purpose proof-oriented programming language

3 min read
Jan
13

Go's First Commit Easter Egg

2 min read