../ Core/Separate "productive" and "total" in totality checker Productive can call Total, but not vice versa. This is still a temporary solution - don't rely on anything yet!14 years ago IRTS/Reinstate old coverage checker (because it's better...)14 years ago Idris/Separate "productive" and "total" in totality checker Productive can call Total, but not vice versa. This is still a temporary solution - don't rely on anything yet!14 years ago Pkg/Install object files from packages14 years ago RTS/Added binding form to syntax rules (and updated tutorial accordingly)14 years ago Util/Added simple library packaging system Now used for the prelude (see lib/base.ipkg)14 years ago Main.hsAdded --dumpc flag14 years ago