You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Andrea Bellandi 48a433716a finished MonadicGame.hs 9 years ago
..
ICFP2015_aposteriori.listing added game monad 9 years ago
ICFP2015_aposteriori.log added game monad 9 years ago
ICFP2015_aposteriori.pdf added game monad 9 years ago
ICFP2015_aposteriori.pyg added game monad 9 years ago
ICFP2015_aposteriori.synctex.gz added game monad 9 years ago
ICFP2015_aposteriori.tex added game monad 9 years ago
paper.pdf finished MonadicGame.hs 9 years ago