| .. |
|
control
|
chore(library/init/control/combinators): remove dead notation
|
2018-09-12 17:34:25 -07:00 |
|
data
|
chore(library): remove >>, we should use *>
|
2018-09-12 17:31:21 -07:00 |
|
lean
|
chore(library): remove >>, we should use *>
|
2018-09-12 17:31:21 -07:00 |
|
meta
|
chore(library): remove return, we should use pure
|
2018-09-12 16:51:11 -07:00 |
|
coe.lean
|
feat(library/init/core): decidable_eq is a proper class
|
2018-09-07 16:38:11 -07:00 |
|
core.lean
|
chore(library/init/core): hide arguments for lc_proof, lc_cast and lc_unreachable
|
2018-09-12 11:00:05 -07:00 |
|
default.lean
|
chore(library/init/meta): remove well_founded_tactics
|
2018-08-23 15:14:22 -07:00 |
|
env_ext.lean
|
chore(library/init/env_ext): update
|
2018-09-11 13:55:25 -07:00 |
|
function.lean
|
chore(library/init): avoid calc at corelib
|
2018-08-27 12:17:30 -07:00 |
|
init.md
|
chore(*.md): fix/remove broken links
|
2016-02-23 10:11:24 -08:00 |
|
io.lean
|
chore(library): remove >>, we should use *>
|
2018-09-12 17:31:21 -07:00 |
|
platform.lean
|
feat(library/vm): add support for system.platform.nbits in the VM
|
2018-05-03 15:54:54 -07:00 |
|
util.lean
|
refactor(frontends/lean/elaborator): mark thunk as opaque, and thunk A to A is now a coercion
|
2018-08-21 15:27:51 -07:00 |
|
version.lean.in
|
chore(leanpkg/lean_version): recognize nightlies as releases separate from master
|
2018-03-20 15:14:45 -07:00 |
|
wf.lean
|
feat(kernel/inductive/inductive): dependent elimination for inductive predicates
|
2018-06-12 13:03:26 -07:00 |
