search

flix / buwb

Boolean Unification Workbench
Other
2 stars 3 forks source link

Add support for for constants, signatures, sets #6

Open mlutze opened 2 years ago