Yuhang "Eric" Wei
Results
2
issues of
Yuhang "Eric" Wei
Logica is a wonderful alternative to SQL, and I would like to connect to SQLite/PostgreSQL database in a `l` script for data query. However currently there seems to be limited...
documentation
enhancement
In the proof of Theorem 8.4.6, - The order of function composition `g o f` as well as the truncated version should be reversed; - The identity `g(t) = w'`...