| .. |
|
CMakeLists.txt
|
feat(api): add lean_type_checker API
|
2015-08-23 09:34:31 -07:00 |
|
decl.cpp
|
test(tests/shared/env): add tests for lean_env API
|
2015-08-22 13:35:35 -07:00 |
|
decl.h
|
feat(api): add lean_env API
|
2015-08-22 12:37:22 -07:00 |
|
env.cpp
|
refactor(api/env): use module procedures
|
2015-08-23 07:49:06 -07:00 |
|
exception.cpp
|
refactor(api): uniform names
|
2015-08-18 11:01:46 -07:00 |
|
exception.h
|
chore(src/api): workaround style
|
2015-08-18 10:13:07 -07:00 |
|
expr.cpp
|
test(tests/shared): add some tests for lean_expr C API
|
2015-08-22 11:08:07 -07:00 |
|
expr.h
|
feat(api): add lean_decl API
|
2015-08-22 10:41:33 -07:00 |
|
ios.cpp
|
feat(api): expose lean_expr pretty printing function
|
2015-08-23 09:09:17 -07:00 |
|
ios.h
|
feat(api): add lean_ios API
|
2015-08-23 08:19:25 -07:00 |
|
lean.h
|
feat(api): add lean_type_checker API
|
2015-08-23 09:34:31 -07:00 |
|
lean_bool.h
|
feat(api): expose hierarchical names in the C API
|
2015-08-17 17:23:10 -07:00 |
|
lean_decl.h
|
test(tests/shared/env): add tests for lean_env API
|
2015-08-22 13:35:35 -07:00 |
|
lean_env.h
|
test(tests/shared/env): add tests for lean_env API
|
2015-08-22 13:35:35 -07:00 |
|
lean_exception.h
|
refactor(api): uniform names
|
2015-08-18 11:01:46 -07:00 |
|
lean_expr.h
|
test(tests/shared): add some tests for lean_expr C API
|
2015-08-22 11:08:07 -07:00 |
|
lean_ios.h
|
feat(api): expose lean_expr pretty printing function
|
2015-08-23 09:09:17 -07:00 |
|
lean_macros.h
|
feat(api): expose hierarchical names in the C API
|
2015-08-17 17:23:10 -07:00 |
|
lean_module.h
|
test(tests/shared/env): add import module test
|
2015-08-23 08:54:11 -07:00 |
|
lean_name.h
|
test(tests/shared/name): add tests for lean_list_name API
|
2015-08-21 15:12:43 -07:00 |
|
lean_options.h
|
feat(api): expose configuration options in the C API
|
2015-08-18 11:57:27 -07:00 |
|
lean_string.h
|
refactor(api): uniform names
|
2015-08-18 11:01:46 -07:00 |
|
lean_type_checker.h
|
feat(api): add lean_type_checker API
|
2015-08-23 09:34:31 -07:00 |
|
lean_univ.h
|
test(tests/shared): add some tests for lean_expr C API
|
2015-08-22 11:08:07 -07:00 |
|
module.cpp
|
chore(api/module): fix style
|
2015-08-23 09:55:25 -07:00 |
|
name.cpp
|
test(tests/shared/name): add tests for lean_list_name API
|
2015-08-21 15:12:43 -07:00 |
|
name.h
|
feat(api/name): add lean_list_name API
|
2015-08-21 15:04:19 -07:00 |
|
options.cpp
|
chore(src/api/options): fix style
|
2015-08-18 12:43:58 -07:00 |
|
options.h
|
feat(api): expose configuration options in the C API
|
2015-08-18 11:57:27 -07:00 |
|
string.cpp
|
refactor(api): uniform names
|
2015-08-18 11:01:46 -07:00 |
|
string.h
|
feat(api): expose hierarchical names in the C API
|
2015-08-17 17:23:10 -07:00 |
|
type_checker.cpp
|
feat(api): add lean_type_checker API
|
2015-08-23 09:34:31 -07:00 |
|
type_checker.h
|
feat(api): add lean_type_checker API
|
2015-08-23 09:34:31 -07:00 |
|
univ.cpp
|
test(tests/shared): add some tests for lean_expr C API
|
2015-08-22 11:08:07 -07:00 |
|
univ.h
|
feat(api/univ): add lean_list_univ API
|
2015-08-21 15:25:12 -07:00 |
