![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
![[DIR]](/theme/icons/folder.svg){kind=icon} | CVS/ | 2022-07-19 02:25 | - |
| patch-idris.cabal | 2022-02-13 01:00 | 1.3K |
![[c]](/theme/icons/text-x-c.svg){kind=icon} | patch-rts_idris__net.c | 2020-01-20 23:32 | 461 |
![[ ]](/theme/icons/text-x-makefile.svg){kind=icon} | patch-rts_Makefile | 2020-01-20 23:32 | 404 |
| patch-Setup.hs | 2022-02-27 01:00 | 2.7K |
| 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_IRTS_System.hs | 2020-01-20 23:32 | 949 |