search

miking-lang / miking

Miking - the meta viking: a meta-language system for creating embedded languages
Other
51 stars 31 forks source link

Type bug #844

Closed aathn closed 3 months ago

aathn commented 6 months ago 
mexpr

recursive
  let f = lam x. (g x).0
  let g = lam. never
in
(lam. ()) g