Pomagma
Tools for Extensional Probabilistic λ-calculus
Popular repositories Loading
-
puddle
puddle PublicForked from fritzo/puddle
A reactive coding environment built on Pomagma
JavaScript 1
-
-
puddle-syntax
puddle-syntax PublicForked from fritzo/puddle-syntax
Syntax tools for the Puddle coding environment
JavaScript
-
-
-
Repositories
Showing 6 of 6 repositories
- puddle-syntax Public Forked from fritzo/puddle-syntax
Syntax tools for the Puddle coding environment
pomagma/puddle-syntax’s past year of commit activity