Skip to content

Latest commit

 

History

60 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Lichen

An interpreter for Lichen, a newly made programming language for exploring axiomatic set theory.

Building

make, using ldc2.

Testing

make && make tests. This will give no output if all tests pass, otherwise a git diff of the output with the expected output. If adding new tests to the tests/ directory, use make savetests to update the expected output.

Language manual

Here.

About

Set theoretic programming language

Topics

Resources

Stars

2 stars

Watchers

2 watching

Forks

Releases

Packages

Contributors

Languages