Sebastian Ullrich 0c0646f03b chore(leanpkg/lean_version): recognize nightlies as releases separate from master		2018-03-20 15:14:45 -07:00
..
git.lean	refactor(library/io): make io easier to extend and use	2018-01-23 15:03:31 -08:00
lean_version.lean	chore(leanpkg/lean_version): recognize nightlies as releases separate from master	2018-03-20 15:14:45 -07:00
main.lean	refactor(init/category): make all monad transformers structures, replace monad classes with has_monad_lift_t wrappers	2018-03-20 14:58:36 -07:00
manifest.lean	refactor(library/io): make io easier to extend and use	2018-01-23 15:03:31 -08:00
proc.lean	refactor(library/io): make io easier to extend and use	2018-01-23 15:03:31 -08:00
resolve.lean	refactor(init/category): make all monad transformers structures, replace monad classes with has_monad_lift_t wrappers	2018-03-20 14:58:36 -07:00
toml.lean	fix(leanpkg): read carriage-return as whitespace	2017-06-29 14:25:59 +02:00