Code

doc(book): architecture of hax#1120

Code

Merged

W95Psp merged 6 commits intomainhacspec/hax:mainfrom doc-architecture-haxhacspec/hax:doc-architecture-haxCopy head branch name to clipboardDec 3, 2024

+84-1

Commits

Commits on Nov 28, 2024

• doc(book): architecture of hax

  W95Psp

  committed
  bb3d431

• Update book/src/contributing/architecture.md

  Show description for 04d7599
  

  W95Psp

  and

  franziskuskiefer

  committed
  04d7599

• feat(book): architecture: add links

  W95Psp

  committed
  55b17d9

• book: simpliify paragraph, drop bullet poitns

  W95Psp

  committed
  fd4aefa

• book(architecture): describe the relation between the frontend & engine in the intro

  W95Psp

  committed
  afff4b3

• doc(book): add more links

  W95Psp

  committed
  65c586f