Index of /pub/NetBSD-CVS/pkgsrc/lang/idris/patches/
../
Attic/ 30-Oct-2023 15:39 -
patch-Setup.hs,v 21-Sep-2026 18:24 7085
patch-rts_Makefile,v 21-Sep-2026 18:24 2216
patch-rts_idris__net.c,v 21-Sep-2026 18:24 2270
patch-src_IRTS_Compiler.hs,v 21-Sep-2026 18:24 1159
patch-src_IRTS_System.hs,v 21-Sep-2026 18:24 2765
patch-src_Idris_AbsSyntax.hs,v 21-Sep-2026 18:24 1188
patch-src_Idris_Core_Constraints.hs,v 21-Sep-2026 18:24 1272
patch-src_Idris_Core_Elaborate.hs,v 21-Sep-2026 18:24 1144
patch-src_Idris_Core_Evaluate.hs,v 21-Sep-2026 18:24 1182
patch-src_Idris_Core_ProofState.hs,v 21-Sep-2026 18:24 1130
patch-src_Idris_Core_ProofTerm.hs,v 21-Sep-2026 18:24 1201
patch-src_Idris_Core_TT.hs,v 21-Sep-2026 18:24 2772
patch-src_Idris_Core_Typecheck.hs,v 21-Sep-2026 18:24 1202
patch-src_Idris_Coverage.hs,v 21-Sep-2026 18:24 1142
patch-src_Idris_DSL.hs,v 21-Sep-2026 18:24 1164
patch-src_Idris_Erasure.hs,v 21-Sep-2026 18:24 1172
patch-src_Idris_Imports.hs,v 21-Sep-2026 18:24 1190
patch-src_Idris_Package_Parser.hs,v 21-Sep-2026 18:24 3137
patch-src_Idris_Parser_Data.hs,v 21-Sep-2026 18:24 2410
patch-src_Idris_Parser_Helpers.hs,v 21-Sep-2026 18:24 2356
patch-src_Idris_Parser_Ops.hs,v 21-Sep-2026 18:24 3801
patch-src_Idris_PartialEval.hs,v 21-Sep-2026 18:24 1202
patch-src_Idris_Prover.hs,v 21-Sep-2026 18:24 1190
patch-src_Idris_Termination.hs,v 21-Sep-2026 18:24 1151