../ reg001/rename O into Z13 years ago reg002/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago reg003/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago reg004/rename O into Z13 years ago reg005/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago reg006/rename O into Z13 years ago reg007/Make sure names are not defined more than once Fixes issue #12414 years ago reg008/rename O into Z13 years ago reg009/Fix shadowing bug with dependent pair bindings13 years ago reg010/Unification fix If f x = g y fails to unify due to f and g failing to unify, record the whole application as failed, otherwise we might accidentally unify x and y. Fixes #40913 years ago reg011/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago reg012/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 reg013/javascript: tests should use node with shebang13 years ago reg014/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago reg015/Fix eta problem14 years ago reg016/javascript: tests should use node with shebang13 years ago reg017/javascript: tests should use node with shebang13 years ago reg018/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago reg019/Some unification fixes13 years ago reg020/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago reg021/Unification fix If f x = g y fails to unify due to f and g failing to unify, record the whole application as failed, otherwise we might accidentally unify x and y. Fixes #40913 years ago test001/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago test002/Fix error in conversion check Fixes issue #18714 years ago test003/javascript: tests should use node with shebang13 years ago test004/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test005/rename O into Z13 years ago test006/rename O into Z13 years ago test007/rename fmap to map13 years ago test008/javascript: tests should use node with shebang13 years ago test009/javascript: tests should use node with shebang13 years ago test010/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago test011/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago test012/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test013/javascript: tests should use node with shebang13 years ago test014/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago test015/rename O into Z13 years ago test016/rename O into Z13 years ago test017/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago test018/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test019/rename O into Z13 years ago test020/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago test021/adapted expected output of test021 to honor modulo13 years ago test022/Enable alternate names for shared libraries14 years ago test023/Update type providers so that the decision of failure or otherwise is made in IO14 years ago test024/Fixed test14 years ago test025/New module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…13 years ago test026/Make test026 more robust13 years ago test027/javascript: tests should use node with shebang13 years ago test028/javascript: tests should use node with shebang13 years ago test029/Try all names in refine to resolve ambiguity Fixes #42613 years ago test030/Added 'quoteGoal x by p in e' syntax meaning, let x = p [current goal] in e Additionally, the value of x is normalised, which means p can be a compile-time only %reflection function used to prove something interesting in e. See test030 for an example of au…13 years ago MakefileAllow tests to be parallelized13 years ago READMETry all names in refine to resolve ambiguity Fixes #42613 years ago mktest.plInfrastructure for passing of parameters to idris during tests14 years ago runtest.plAllow tests to be parallelized13 years ago