Explore >> Select a destination
|
You are here 
|
blog.nelhage.com | ||
| | | | |
nikita-volkov.github.io
|
|
| | | | | Have you ever looked for a numeric type with a zero to hundred range to describe percentage? Maybe a zero to one to describe a proper fraction of something? A positive integer (without the zero) to enumerate something? A vector of a specific length? Here that comes and not only with the Haskell refinement types library (on GitHub, on Hackage)! | |
| | | | |
danilafe.com
|
|
| | | | | In this post, we tackle the first component of our compiler: tokenizing. | |
| | | | |
vittorioromeo.info
|
|
| | | | | ||
| | | | |
gowers.wordpress.com
|
|
| | | It's been a while since I have written a post in the "somewhat philosophical" category, which is where I put questions like "How can one statement be stronger than an another, equivalent, statement?" This post is about a question that I've intended for a long time to sort out in my mind but have found... | ||
