Skip to content

Commit aef5385

Browse files
Update README.adoc
1 parent 6ffb4aa commit aef5385

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

README.adoc

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
= proven
22

3-
Code that cannot crash.
3+
Code that cannot crash, for...
44

5-
Python :: Rust :: JavaScript :: Go :: Deno :: Zig :: Haskell :: OCaml :: Elixir :: Gleam :: Swift :: Kotlin :: C :: C++ :: Ruby :: PHP :: Perl :: Lua :: Julia :: R :: Tcl :: Bash :: Common Lisp :: Erlang :: Prolog :: COBOL :: Forth :: Fortran :: Odin :: V :: Racket :: ReScript :: Dart :: Scala :: F# :: Crystal :: Nim :: Ada :: 40+ languages :: Verified :: License
5+
:: Python :: Rust :: JavaScript :: Go :: Deno :: Zig :: Haskell :: OCaml :: Elixir :: Gleam :: Swift :: Kotlin :: C :: C++ :: Ruby :: PHP :: Perl :: Lua :: Julia :: R :: Tcl :: Bash :: Common Lisp :: Erlang :: Prolog :: COBOL :: Forth :: Fortran :: Odin :: V :: Racket :: ReScript :: Dart :: Scala :: F# :: Crystal :: Nim :: Ada :: 40+ languages :: Verified :: License
66

77
== Table of Contents
88

0 commit comments

Comments
 (0)