Code

hax intro post#1

Code

Merged

franziskuskiefer merged 9 commits intomainhacspec/blog:mainfrom franziskus/haxv0-1-posthacspec/blog:franziskus/haxv0-1-postCopy head branch name to clipboardOct 19, 2023

+388-16

Commits

Commits on Oct 17, 2023

• first draft

  franziskuskiefer

  committed
  671abcb

  Copy full SHA for 671abcb

Commits on Oct 19, 2023

• add Nix

  W95Psp

  committed
  01f4492

  Copy full SHA for 01f4492

• more about architecture

  W95Psp

  committed
  8f5f0f8

  Copy full SHA for 8f5f0f8

• small changes

  franziskuskiefer

  committed
  a911b97

  Copy full SHA for a911b97

• updated pictures

  franziskuskiefer

  committed
  bd8eb8b

  Copy full SHA for bd8eb8b

• misc hax

  franziskuskiefer

  committed
  e7e6587

  Copy full SHA for e7e6587

• pic update

  franziskuskiefer

  committed
  385ca9d

  Copy full SHA for 385ca9d

• add explanations about F* typechecking

  W95Psp

  committed
  4976179

  Copy full SHA for 4976179

• final touch

  franziskuskiefer

  committed
  f6ab37b

  Copy full SHA for f6ab37b