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.
12345678910111213141516171819202122232425262728#[test]def test_string_get : Bool := match String.get "hello" 0 { some b => true, none => false }#[test]def test_string_get_char : Bool := match String.get_char "hello" 0 { some c => true, none => false }#[test]def test_string_get_char_out_of_bounds : Bool := match String.get_char "hello" 100 { some c => false, none => true }#[test]def test_string_get_char_unicode : Bool := match String.get_char "héllo" 0 { some c => true, none => false }