idris-dataframe Data structure inspired by R's data frames. How to test idris -p contrib Main.idr *Main>:x main