search

cdfa / frugel

An error-tolerant live programming environment (my Master's thesis)
GNU General Public License v3.0
18 stars 3 forks source link

Flatten *Meta hierarchy #27

Open cdfa opened 2 years ago

cdfa commented 2 years ago

With either GADT or type family