input-output-hk/ce-semantics-dsl

Denotational semantics for the masses

语言：Scala · GitHub 星标：6 · Fork：2

话题：denotational · denotational-semantics · dsl · edsl · scala3 · semantics · tagless-final

在 GitHub 上查看原仓库