Skip to content

Files

Latest commit

c48be94 · Sep 23, 2018

History

History
6 lines (5 loc) · 129 Bytes

test.idr

File metadata and controls

6 lines (5 loc) · 129 Bytes