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'`...