https://github.com/input-output-hk/ce-semantics-dsl
Denotational semantics for the masses
https://github.com/input-output-hk/ce-semantics-dsl
denotational denotational-semantics dsl edsl scala3 semantics tagless-final
Last synced: 7 months ago
JSON representation
Denotational semantics for the masses
- Host: GitHub
- URL: https://github.com/input-output-hk/ce-semantics-dsl
- Owner: input-output-hk
- License: apache-2.0
- Created: 2022-09-23T09:10:21.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2022-10-17T07:13:08.000Z (over 3 years ago)
- Last Synced: 2025-03-12T06:02:23.680Z (about 1 year ago)
- Topics: denotational, denotational-semantics, dsl, edsl, scala3, semantics, tagless-final
- Language: Scala
- Homepage:
- Size: 1.54 MB
- Stars: 7
- Watchers: 16
- Forks: 2
- Open Issues: 0