![[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-02-21 03:52 | - |
| patch-idris.cabal | 2022-02-21 03:52 | 1.5K |
![[c]](/theme/icons/text-x-c.svg){kind=icon} | patch-rts_idris__net.c | 2022-02-21 03:52 | 461 |
![[ ]](/theme/icons/text-x-makefile.svg){kind=icon} | patch-rts_Makefile | 2022-02-21 03:52 | 404 |
| patch-Setup.hs | 2022-02-21 03:52 | 3.7K |
| patch-src_Idris_CmdOptions.hs | 2022-02-21 03:52 | 909 |
| patch-src_Idris_Core_CaseTree.hs | 2022-02-21 03:52 | 707 |
| patch-src_Idris_Core_TT.hs | 2022-02-21 03:52 | 730 |
| patch-src_Idris_Package_Parser.hs | 2022-02-21 03:52 | 629 |
| patch-src_Idris_Parser_Data.hs | 2022-02-21 03:52 | 610 |
| patch-src_Idris_Parser_Helpers.hs | 2022-02-21 03:52 | 559 |
| patch-src_Idris_Parser_Ops.hs | 2022-02-21 03:52 | 1.9K |
| patch-src_Idris_Parser_Stack.hs | 2022-02-21 03:52 | 1.2K |
| patch-src_IRTS_System.hs | 2022-02-21 03:52 | 949 |