File tree Expand file tree Collapse file tree 3 files changed +24
-5
lines changed Expand file tree Collapse file tree 3 files changed +24
-5
lines changed Original file line number Diff line number Diff line change
1
+ +++
2
+
3
+ title = " Resources"
4
+
5
+ +++
6
+
7
+ # Resources
8
+
9
+ ## Crates
10
+
11
+ - [ cgp] ( https://crates.io/crates/cgp )
12
+
13
+ ## Projects
14
+
15
+ - [ Hermes SDK] ( https://github.com/informalsystems/hermes-sdk/ )
16
+
17
+ ## Books
18
+
19
+ - [ Context-Generic Programming Patterns] ( https://patterns.contextgeneric.dev/ )
Original file line number Diff line number Diff line change 1
1
< style >
2
2
: root {
3
3
/* Primary theme color */
4
- --primary-color : # fed43f ;
4
+ --primary-color : # f7e5c6 ;
5
5
/* Primary theme text color */
6
6
/* --primary-text-color: #543631; */
7
7
--primary-text-color : # 000 ;
8
8
--primary-text-color-over : # 000 ;
9
9
/* Primary theme link color */
10
- --primary-link-color : # f9bb2d ;
10
+ --primary-link-color : # e19a1e ;
11
11
/* Secondary color: the background body color */
12
12
--secondary-color : # fcfaf6 ;
13
13
--secondary-text-color : # 303030 ;
14
14
/* Highlight text color of table of content */
15
- --toc-highlight-text-color : # d46e13 ;
15
+ --toc-highlight-text-color : # c27e08 ;
16
16
--toc-background-color : white;
17
17
--code-color : # 4a4a4a ;
18
18
--code-background-color : white;
Original file line number Diff line number Diff line change @@ -6,10 +6,10 @@ <h1 class="heading-text" style="font-size: 40px">
6
6
A new programming paradigm for Rust
7
7
</ h1 >
8
8
< h3 class ="title-text ">
9
- < span style ="color: rgb(8, 155, 8) "> ✓</ span > Modular
9
+ < span style ="color: rgb(8, 155, 8) "> ✓</ span > < i > Modular</ i > component system
10
10
</ h3 >
11
11
< h3 class ="title-text ">
12
- < span style ="color: rgb(8, 155, 8) "> ✓</ span > Expressive
12
+ < span style ="color: rgb(8, 155, 8) "> ✓</ span > < i > Expressive</ i >
13
13
</ h3 >
14
14
< h3 class ="title-text ">
15
15
< span style ="color: rgb(8, 155, 8) "> ✓</ span > Type-Safe
You can’t perform that action at this time.
0 commit comments