quawai Joined on September 8, 2016

15 public recordings by quawai

untitled **:01

by quawai

untitled 05:33

by quawai

Ackermann Function with the second variable 3 01:19

by quawai

test for stdinput 00:31

by quawai

test for racket 00:25

by quawai

how I use macdict2 00:51

by quawai

untitled 01:05

by quawai

markdown4logicians_1st 03:15

by quawai

bussproof_revised 01:31

by quawai

bussproofbuilder 01:15

by quawai

markdown for logicians 00:50

by quawai

full-scratch-buit raadlater 02:03

by quawai

using say command, let OSX read out a bibliographic information of a paper in pdf 01:34

by quawai

an ordinal student who learns philosophy is reading a philosophical paper 01:50

by quawai