3
2
Fork
You've already forked Graphite
0
A total, purely functional statically typed language that aims to show the true power of row types.
  • Haskell 100%
2024年12月16日 22:18:54 +00:00
examples docs: Examples, TODOs and typos 2024年12月16日 05:08:19 +00:00
src fix: Both TODOs in PrettyPrint 2024年12月16日 22:18:54 +00:00
.gitmodules chore: Add Honeycomb 2024年12月07日 17:27:17 +00:00
README.md docs: Examples, TODOs and typos 2024年12月16日 05:08:19 +00:00

Graphite

A total, purely functional statically typed language that aims to show the true power of row types.

Currently just a System F omega interpreter, see the examples directory for a showcase.

Due to Hugs compatibility, this repository has honeycomb-hs as a git submodule. Clone this repository with git clone --recurse-submodules https://codeberg.org/Bowuigi/Graphite.

A GHC-only version that replaces the parser is planned.