Skip to content

mnemnion/ax

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

31 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

axum

An Algebraic, Executable Ur Machine.

See Nock.

To run the code, use LuaJIT. rep "[noun]" will run a string.

Note that due to recent changes to the automaton, relating to the representation of truth, the demonstration machine will not give accurate results.

For details, see the specification and commentary

About

An Algebraic, Executable Ur Machine

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages