jcora 的提交内容

Reinforcement learning, non-Markov environments, and memory

A game in a pure language (part 2): state

A game in a pure language (part 1): introduction and problems with Idris