gitextract_rnbmpni2/ ├── .gitignore ├── LICENSE ├── Makefile ├── README.org ├── TypedFlow/ │ ├── Abstract.hs │ ├── Broadcast.hs │ ├── Haskell.hs │ ├── Layers/ │ │ ├── Core.hs │ │ ├── RNN/ │ │ │ ├── Attention.hs │ │ │ ├── Base.hs │ │ │ └── Cells.hs │ │ └── RNN.hs │ ├── Layers.hs │ ├── Learn.hs │ ├── Memo.hs │ ├── Memo2.hs │ ├── Models/ │ │ ├── Topic.hs │ │ └── Transformer.hs │ ├── Python.hs │ ├── TF.hs │ ├── Types/ │ │ └── Proofs.hs │ └── Types.hs ├── TypedFlow.hs ├── cabal.project ├── docs/ │ ├── HOT.org │ └── Talk.org ├── examples/ │ ├── agreement/ │ │ └── Aggr.hs │ ├── mnist/ │ │ ├── MNIST.hs │ │ ├── Makefile │ │ ├── main.py │ │ └── mnist_model.py │ └── seq2seq/ │ ├── GenTr.hs │ ├── Makefile │ ├── Seq2Seq.hs │ ├── main.py │ └── shell.nix ├── styx.yaml ├── typedflow.cabal └── typedflow_rts.py