idris-dataframe

Data structure inspired by R's data frames.

How to test

idris -p contrib Main.idr
*Main>:x main

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
DataFrame		DataFrame
.gitignore		.gitignore
DataFrame.idr		DataFrame.idr
DataFrame.ipkg		DataFrame.ipkg
Main.idr		Main.idr
README.markdown		README.markdown
iris.head.csv		iris.head.csv
iris.headless.csv		iris.headless.csv