A programming language with first-class modules and algebraic effects.
语言:OCaml · GitHub 星标:15 · Fork:2
话题:algebraic-effects · broom · compiler · generalized-algebraic-data-type · implicit · modules · programming-language · row-polymorphism
在 GitHub 上查看原仓库