IdrisLibs2 tagshttps://gitlab.pik-potsdam.de/botta/IdrisLibs2/-/tags2022-08-05T15:37:23+02:00https://gitlab.pik-potsdam.de/botta/IdrisLibs2/-/tags/v1.1.0v1.1.0<p data-sourcepos="1:1-1:41" dir="auto">Last release before delivering TiPES D6.2</p>2022-08-05T15:37:23+02:00nicolahttps://gitlab.pik-potsdam.de/botta/IdrisLibs2/-/tags/v1.0.0v1.0.0<p data-sourcepos="1:1-1:142" dir="auto">Minimal set of components for instantiating the naive theory for specifying and solving finite horizon, monadic sequential decision problems.</p>2021-02-17T15:42:37+01:00nicola