matko

134
reputation
6

Rust/prolog developer with an interest in type theory.

Lead database engineer at TerminusDB.