Name	Last modified	Size
	Parent Directory		-
	CVS/	2022-07-16 11:04	-
	patch-idris.cabal	2021-04-25 11:39	1.7K
	patch-rts_idris__net.c	2020-01-20 23:32	461
	patch-rts_Makefile	2020-01-20 23:32	404
	patch-Setup.hs	2021-04-25 11:39	2.7K
	patch-src_Idris_Output.hs	2021-04-25 11:39	1.3K
	patch-src_Idris_Package_Parser.hs	2020-01-20 23:32	629
	patch-src_Idris_Parser_Data.hs	2020-01-20 23:32	610
	patch-src_Idris_Parser_Helpers.hs	2020-01-20 23:32	559
	patch-src_Idris_Parser_Ops.hs	2020-01-20 23:32	1.9K
	patch-src_Idris_Parser_Stack.hs	2021-04-25 11:39	620
	patch-src_Idris_REPL.hs	2021-04-25 11:39	1.8K
	patch-src_IRTS_System.hs	2020-01-20 23:32	949