Skip to content
/ suicide Public

Suicide is a logic-based programming language with built in theorem proving capabilities.

Notifications You must be signed in to change notification settings

Ktedon/suicide

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Suicide Programming Language

Suicide is a programming language designed for writing mission critical applications. So far it looks like this:

pkg suicide.std.io

accum suicide.std.encryption._
accum suicide.std.util._._

\ space space0
# Move up to namespace space0
 \ space space1
 # Move up to namespace space0.space1
// space space2
# Move down to namespace space2

About

Suicide is a logic-based programming language with built in theorem proving capabilities.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages