../ Core/Added rewrite ... in ... construct rewrite prf in v rewrites the goal type using prf. It is equivalent to applying replace, without the need to provide a predicate. It works by applying the rewrite tactic with prf before elaborating v.14 years ago IRTS/Proper executable and object file creation via maven + need for run_java tests removed14 years ago Idris/Added rewrite ... in ... construct rewrite prf in v rewrites the goal type using prf. It is equivalent to applying replace, without the need to provide a predicate. It works by applying the rewrite tactic with prf before elaborating v.14 years ago Pkg/More platform agnostic now14 years ago RTS/Adding support for Windows MingW3214 years ago Util/Proper executable and object file creation via maven + need for run_java tests removed14 years ago Main.hsjavascript: split javascript and node target14 years ago