rsmonad-macros (cargo): Haskell-style monads for idiomatic Rust.
Keywords: logic|proofs|types|math|metaprogramming