THIS LANGUAGE IS IN PROCESS! IS NOT JUST UNSTABLE BUT ANYTHING CAN CHANGE AT ANY MOMENT, USE IT AT YOUR OWN RISK
Axioma is a Set Based/Functional programming language based on set theory and lamda calculus. Axioma uses.
this is a rust program you can use cargo to compile the program you just run it with an arg for the path of the textfile of the program, for now it can be any extention you want
- Turing Complete
- Compiled to native code
- Self-hosted
- Std-lib
Axioma reads the program line by line, the line statement ends with the new line so you dont have to put semicol or anything like that
for now this are the things you can do with Axioma
Assign variables(variables are inmutable):
let x = 34
let h = 4 + x + y
Set definition by comprehension and extension
#The definition of S is done by comprehension
let S = {x:x < 3}
#The definition of X is done by extension
Let X = {1, 2, 3}