glaebhoerl/rust-notes
Public repository.
Developer Profile
glaebhoerl
Discovered public repositories for glaebhoerl in the GitHub catalog.
glaebhoerl/rfcs
RFCs for changes to Rust
glaebhoerl/rust-frp
Unsophisticated push-based FRP library in Rust
glaebhoerl/cplusplus-frp
Unsophisticated push-based FRP library in C++11
glaebhoerl/rust
a safe, concurrent, practical language
glaebhoerl/phasechange
Freezing, thawing, and copy elision
glaebhoerl/type-eq
Type equality evidence you can carry around
glaebhoerl/data-nat
data Nat = Zero | Succ Nat
glaebhoerl/exists
Existential datatypes holding evidence of constraints