Add support for inductively defined functions #8878
stevenraphael
changed the title Inductive2 Inductive functions 63 days ago
stevenraphael
changed the title Inductive functions Add support for inductively defined functions 63 days ago
Top-down type inference support
af6167fc
Inductive functions
5a14fb0b
fixes
6b2c2390
additional fixes
8c118719
size_t fix
ba51f9ea
get default types back to normal; add new test
2197d3da
clang-format
622b243c
add test and documentation
dc6f4438
add user error and additional support for function declarations
4f9e1c09
clang-format
5d53a80b
clang-tidy and additional safety check. All tests pass
b4e9ab03
patched makefile
9424f4aa
Serialization fix
281feb94
more dimtype fixes
865b0b92
fix memory leaks
81fa967a
remove commented-out code
0fdcfd11
clang-format
cd300fef
Fix explicit storage folding check for inductive functions
980bf0a7
Fix function call
62d9c39a
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub