Legaph

13
reputation
5

Machine learning, Type theory, Haskell, Semantics.