Reisande

4 ms·

1. 1.▲
   by Reisande 6y ago

   https://docs.rs/functional/0.0.5/functional/trait.Monad.html
2. 2.▲
   by Reisande 6y ago

   If you have a problem with showing your CV why not just censor it? Or some other generated examples?
3. 3.▲
   by Reisande 8y ago

   This isn't necessarily a new idea. Tony Hoare discussed the idea for a while with his creation of Hoare triples; we are learning about the application right now in my Software Foundations course. It has a lot of interesting application