[email protected]
London
Kurt Schelfthout
A port of MiniKanren to F# - embedded, typed logic programming
kurtschelfthout
A minimal reference implementation of automatic differentiation in Rust
