corpus.blog
Claim your blog
Record · corpus.blog/posts/01a08c54-fc7f-7072-b9bf-d7a9b7fa4cef

Embedding MicroHs

thma.github.io · published 30 August 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at thma.github.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
13
Words captured
7,514

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/thma/lambda-ski
github.com
https://github.com/augustss/MicroHs?tab=readme-ov-file
github.com
Projects Read at the source ↗
bootstrappable.org
https://github.com/thma/lambda-ski/blob/main/src/HhiReducer.hs
github.com
https://github.com/thma/lambda-ski/blob/main/src/MicroHsExp.hs
github.com
https://github.com/augustss/MicroHs/blob/master/MicroHs.cabal
github.com
https://github.com/augustss/MicroHs/blob/master/ghc/PrimTable.hs
github.com
https://github.com/augustss/MicroHs/blob/master/src/runtime/mhseval.h
github.com
https://github.com/augustss/MicroHs/blob/master/src/runtime/mhseval.c
github.com
https://github.com/augustss/MicroHs/blob/master/ghc/MhsEval.hs
github.com
https://www.reddit.com/r/haskell/comments/1n5kawz/new_blog_post_embedding_microhs/
reddit.com
https://hackage.haskell.org/package/criterion
hackage.haskell.org
https://okmij.org/ftp/tagless-final/ski.pdf
okmij.org
Elsewhere on thma.github.io (4)