 scossu
|
be89e9cec2
Implement proper getters for terms; fix a bunch of other things.
|
vor 3 Tagen |
|
scossu
|
fe435775c3
Use Makefile.
|
vor 5 Tagen |
|
scossu
|
efcbcbbd01
Implement term getters.
|
vor 6 Tagen |
|
scossu
|
198213201c
Add namespace module.
|
vor 6 Tagen |
|
scossu
|
87a8fb6d30
WIP Lua: mostly complete term and beginning of namespace
|
vor 6 Tagen |
