Serene/serene - Devheroes

Author	SHA1	Message	Date
Sameer Rahmani	c6e76ecf2f	Add a few new resources to the docs	2024-05-21 19:39:05 +01:00
Sameer Rahmani	9c3228fffc	Add two useful links to the list of resources ci/woodpecker/push/build Pipeline was successful Details ci/woodpecker/push/docs Pipeline was successful Details	2023-07-25 22:28:41 +01:00
Sameer Rahmani	839125eb18	Add a couple of links for Curry-Howard correspondence ci/woodpecker/push/build Pipeline was successful Details ci/woodpecker/push/docs Pipeline was successful Details	2023-07-11 18:33:23 +01:00
Sameer Rahmani	01fd49524b	docs: Move the mkdocs pages to docs/pages ci/woodpecker/push/build Pipeline was successful Details	2023-05-27 17:15:12 +01:00