[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"LwRpHLXtRL":3},"![GitHub branch status](https://img.shields.io/github/actions/workflow/status/SrGaabriel/soma/.github%2Fworkflows%2Fci.yml?style=for-the-badge)\n![GitHub Repo stars](https://img.shields.io/github/stars/SrGaabriel/soma?style=for-the-badge)\n![GitHub License](https://img.shields.io/github/license/SrGaabriel/soma?style=for-the-badge)\n\n# Soma\n\nSoma is a dependently typed, pure functional language that compiles to native code via LLVM. **This branch is a Haskell rewrite of the [main](https://github.com/SrGaabriel/soma/tree/main) branch written in Lean 4.**",1792350318461]