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