log systemT/boolean.agda @ 77:a2e6f61d5f2b default tip

age author description
2014-11-02 Yasutaka Higa Migrate systemT from atton/agda/systemT (13:5a81867278af)