Pinned Loading

1. reflect reflect Public

   Forked from dtolnay/reflect

   Compile-time reflection API for developing robust procedural macros (proof of concept)

   Rust 128 3

2. Connection-Prover Connection-Prover Public

   A connection based first order logic prover written in Haskell.

   Haskell 3

3. mega-adder mega-adder Public

   A needlessly complicated way of adding two numbers

   Haskell