Something went wrong. Try again.
The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org
dependent-types language compiler programming-language functional-programming
Something went wrong. Try again.
12345678910111213141516171819/// Show classpub class Show A { def show : A -> String}pub instance Show String { def show (s: String) : String := s}pub instance Show I64 { def show (n: I64) : String := I64.to_string n}pub instance Show Bool { def show (b: Bool) : String := if b then "true" else "false"}