Nothing of Consequence

No posts with label Type-theory. Show all posts

No posts with label Type-theory. Show all posts

Subscribe to: Posts (Atom)

2016 New Year Quotes

I hope that in this year to come, you make mistakes. Because if you are making mistakes, then you are making new things, trying new things, learning, living, pushing yourself, changing yourself, changing your world. You're doing things you've never done before, and more importantly, you're doing something.

Simple theme. Powered by Blogger.