lnsol/log-e-sappho
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
experimental subtyping system
23 commits 2 branches 0 tags 298 KiB
Find a file
Exact
Ellen Arvidsson f3618f1648 lol
2025-06-27 15:08:13 +02:00
docs/about lol 2025-06-27 15:08:13 +02:00
example type fixes and bindings + notes on subtyping 2025-06-25 20:31:25 +02:00
include type fixes and bindings + notes on subtyping 2025-06-25 20:31:25 +02:00
src type fixes and bindings + notes on subtyping 2025-06-25 20:31:25 +02:00
.gitignore type fixes and bindings + notes on subtyping 2025-06-25 20:31:25 +02:00
CMakeLists.txt cleaning 2025-06-25 21:18:33 +02:00
LICENSE Initial commit 2025-04-09 14:21:40 +02:00
README.md https url 2025-06-25 20:40:22 +02:00

README.md

log-e-sappho

experimental type system implementation

getting and building

git clone https://gitta.log-e.se/lnsol/log-e-sappho.git
cd ./log-e-sappho
cmake . -B build
cd build
make

repository content

This repository contains:

  • a library implementation of sappho called spho.
  • a simple language parser (and soon type checker), called msph, developed in tandem with spho.
  • documentation of the sappho type system in docs/