Index of pub/pkgsrc/stable/pkgsrc/lang/idris/patches/

NameLast modifiedSize
Parent Directory28-Dec-2023 18:431kB
CVS/28-Dec-2023 18:431kB
patch-Setup.hs26-Feb-2022 08:073kB
patch-rts_Makefile20-Jan-2020 23:321kB
patch-rts_idris__net.c20-Jan-2020 23:321kB
patch-src_IRTS_Compiler.hs30-Oct-2023 15:391kB
patch-src_IRTS_System.hs20-Jan-2020 23:321kB
patch-src_Idris_AbsSyntax.hs30-Oct-2023 15:391kB
patch-src_Idris_Core_Constraints.hs30-Oct-2023 15:391kB
patch-src_Idris_Core_Elaborate.hs30-Oct-2023 15:391kB
patch-src_Idris_Core_Evaluate.hs30-Oct-2023 15:391kB
patch-src_Idris_Core_ProofState.hs30-Oct-2023 15:391kB
patch-src_Idris_Core_ProofTerm.hs30-Oct-2023 15:391kB
patch-src_Idris_Core_TT.hs30-Oct-2023 15:391kB
patch-src_Idris_Core_Typecheck.hs30-Oct-2023 15:391kB
patch-src_Idris_Coverage.hs30-Oct-2023 15:391kB
patch-src_Idris_DSL.hs30-Oct-2023 15:391kB
patch-src_Idris_Erasure.hs30-Oct-2023 15:391kB
patch-src_Idris_Imports.hs30-Oct-2023 15:391kB
patch-src_Idris_Package_Parser.hs30-Oct-2023 15:391kB
patch-src_Idris_Parser_Data.hs20-Jan-2020 23:321kB
patch-src_Idris_Parser_Helpers.hs20-Jan-2020 23:321kB
patch-src_Idris_Parser_Ops.hs20-Jan-2020 23:322kB
patch-src_Idris_PartialEval.hs30-Oct-2023 15:391kB
patch-src_Idris_Prover.hs30-Oct-2023 15:391kB
patch-src_Idris_Termination.hs30-Oct-2023 15:391kB