diff options
| author | Kjetil Orbekk <kjetil.orbekk@gmail.com> | 2017-02-14 14:59:39 -0500 |
|---|---|---|
| committer | Kjetil Orbekk <kjetil.orbekk@gmail.com> | 2017-02-14 14:59:39 -0500 |
| commit | f18fdcb2e0d1ef4ce1cf5892dec99909126af129 (patch) | |
| tree | 538e6dfdef2b27e19529263d28733636d4d1a1a8 /Prims.idr | |
| parent | 6aa16c40df3cd44b8a6d47f6153e28c892f4dee9 (diff) | |
splitAt = take, drop proof
Diffstat (limited to 'Prims.idr')
0 files changed, 0 insertions, 0 deletions