膼 is a programming language created in 2019 by Compl Yue.
#1600on PLDB | 5Years Old |
git clone https://github.com/e-wrks/edh
Edh is a dynamically & strongly typed, procedural (thus imperative), value-oriented (i.e. immutable first, yet with non-traditional Object constructs), interpreted programming language, that parasitic on GHC and heavily relying on the Haskell implementation of Software Transactional Memory for unified intuition of concurrency and data-consistency.
method satExample() or ({generator _ ()
for x1 from [true, false] do
for x2 from [true, false] do
# ...
for xN from [true, false] do
yield formula (
x1, x2,
# ...,
xn
)
})