@@ -12,7 +12,7 @@ type FeatureItem = {
1212const FeatureList : FeatureItem [ ] = [
1313 {
1414 title : 'Modular Component System' ,
15- image : '/img/features/modular-component-system.png' ,
15+ image : '/img/features/modular-component-system-480p .png' ,
1616 description : (
1717 < >
1818 Decouple interface definitions from implementations using provider traits.
@@ -22,7 +22,7 @@ const FeatureList: FeatureItem[] = [
2222 } ,
2323 {
2424 title : 'Highly Expressive Macros' ,
25- image : '/img/features/highly-expressive-macros.png' ,
25+ image : '/img/features/highly-expressive-macros-480p .png' ,
2626 description : (
2727 < >
2828 Write abstract programs generic over contexts without managing long lists
@@ -32,7 +32,7 @@ const FeatureList: FeatureItem[] = [
3232 } ,
3333 {
3434 title : 'Type-Safe Composition' ,
35- image : '/img/features/type-safe-composition.png' ,
35+ image : '/img/features/type-safe-composition-480p .png' ,
3636 description : (
3737 < >
3838 All component wiring is verified at compile time. Missing dependencies are
@@ -42,7 +42,7 @@ const FeatureList: FeatureItem[] = [
4242 } ,
4343 {
4444 title : 'No-Std Friendly' ,
45- image : '/img/features/no-std-friendly.png' ,
45+ image : '/img/features/no-std-friendly-480p .png' ,
4646 description : (
4747 < >
4848 Build fully abstract programs without concrete dependencies. Deploy to
@@ -52,7 +52,7 @@ const FeatureList: FeatureItem[] = [
5252 } ,
5353 {
5454 title : 'Zero-Cost Abstraction' ,
55- image : '/img/features/zero-cost-abstraction.png' ,
55+ image : '/img/features/zero-cost-abstraction-480p .png' ,
5656 description : (
5757 < >
5858 All CGP operations happen at compile time using Rust's type system.
@@ -62,7 +62,7 @@ const FeatureList: FeatureItem[] = [
6262 } ,
6363 {
6464 title : 'Bypass Coherence Rules' ,
65- image : '/img/features/bypass-coherence-rules.png' ,
65+ image : '/img/features/bypass-coherence-rules-480p .png' ,
6666 description : (
6767 < >
6868 Enable overlapping and orphan trait implementations without restriction.
0 commit comments