diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-04-24 19:03:18 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-04-24 19:03:18 -0400 |
commit | 374045f4a0c4aab339a49c4c4bd3dad7c813bf69 (patch) | |
tree | 958685dd89b3bfbcc7c841805829a5a0796c510b /Prelude/List.agda | |
parent | 26fe1ec59740112c590428bafc49b255249a01cd (diff) |
Add Functor and Monad classes
Diffstat (limited to 'Prelude/List.agda')
0 files changed, 0 insertions, 0 deletions