Dennis Kobert bb8560e5ad Fix faulty contravariance checking (#2025) ...

* Fix faulty contravariance checking

* Fix documented soundness issue in type resolution

2024-10-07 12:35:27 -07:00

..

document

Add manually-runnable benchmarks for runtime profiling (#2005)

2024-09-25 10:52:41 +02:00

document.rs

Replace terminology "primary" with "call argument" and "parameter" with "secondary input"

2024-09-25 20:05:00 -07:00

graphene_compiler.rs

Add profiling metrics for, and speed up, Graphene graph compilation (#1924)

2024-08-12 03:07:36 -07:00

imaginate_input.rs

Refactor the node macro and simply most of the node implementations (#1942)

2024-09-20 03:50:30 -07:00

lib.rs

Add manually-runnable benchmarks for runtime profiling (#2005)

2024-09-25 10:52:41 +02:00

null.png

Deprecate LetNodes in favor of new scope API (#1814)

2024-07-10 14:18:21 +02:00

proto.rs

Fix faulty contravariance checking (#2025)

2024-10-07 12:35:27 -07:00

util.rs

New demo artwork: "Changing Seasons"

2024-10-04 16:31:22 -07:00

wasm_application_io.rs

Refactor document node type lookup function to fix performance degradation over time (#1878)

2024-08-08 17:37:28 -07:00