git.iko.soy/Idris-dev
on 2683ffa help sign in
Idris-dev/test/regression002
19 files
../ A.lidrConsolidate reg007 into regression002 expectedConsolidate reg035 into regression002 reg003.idrConsolidate reg003 into regression002 reg003a.idrConsolidate reg003 into regression002 reg006.idrConsolidate reg006 into regression002 reg007.lidrConsolidate reg007 into regression002 reg010.idrConsolidate reg010 into regression002 reg018a.idrConsolidate reg018 into regression002 reg018b.idrConsolidate reg018 into regression002 reg018c.idrConsolidate reg018 into regression002 reg018d.idrConsolidate reg018 into regression002 reg023.idrConsolidate reg023 into regression002 reg028.idrConsolidate reg028 into regression002 reg028a.idrConsolidate reg028 into regression002 reg034.idrConsolidate reg034 into regression002 reg035.idrConsolidate reg035 into regression002 reg035a.lidrConsolidate reg035 into regression002 reg035b.idrConsolidate reg035 into regression002 runConsolidate reg035 into regression002