https://speakerdeck.com/mrb/compiling-a-dependently-typed-language-to-ruby
Compiling a Dependently Typed Language to Ruby - Speaker Deck
A.K.A. "Compilers Are Dope And Also A Little Bit About Fancy Types"
dependently typed languagecompilingrubyspeakerdeck
https://github.com/silt-lang/silt
GitHub - silt-lang/silt: An in-progress fast, dependently typed, functional programming language...
An in-progress fast, dependently typed, functional programming language implemented in Swift. - silt-lang/silt
in progress