diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-04-24 18:59:33 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-04-24 18:59:33 -0400 |
commit | 26fe1ec59740112c590428bafc49b255249a01cd (patch) | |
tree | dca40f33d81f7be92f3bbfdd65577ba0216541b6 /Prelude/Monad.agda | |
parent | e9fbc822bd34a5f9c698f1bc018fb95db8f7123a (diff) |
Add basic list support
Diffstat (limited to 'Prelude/Monad.agda')
0 files changed, 0 insertions, 0 deletions