Index of /miniconda3/pkgs/pygments-2.19.2-py313h06a4308_0/info/test/tests/examplefiles/idris/

../
test.idr                                           02-Feb-2020 00:00                2771
test.idr.output                                    02-Feb-2020 00:00               41738