szymon-rd / lynx Public

Notifications You must be signed in to change notification settings
Fork 0
Star 8

Effect tracking with capabilities

8 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
cats-interop/src		cats-interop/src
core/src		core/src
project		project
.gitignore		.gitignore
Architecture.scala		Architecture.scala
LICENSE		LICENSE
README.md		README.md
build.sbt		build.sbt

Repository files navigation

Lynx

Effect tracking with capabilities and capture checking. It requires jvm >= 21.

Resources

Library is based on lampepfl/monadic-reflection by Jonathan Immanuel Brachthäuser and Aleksander Boruch-Gruszecki . It implements monadic-reflection (Filinski 1994, 1999).

About

Effect tracking with capabilities

Report repository

Releases

No releases published

Packages

No packages published

Languages

Scala 100.0%