Josh Chen
Results
1
comments of
Josh Chen
Just to provide a data point, I'm working on things that use HoTT in non-cubical Agda, mostly relying on the core library. I'm grateful for the up-to-date fork!
Josh Chen
Just to provide a data point, I'm working on things that use HoTT in non-cubical Agda, mostly relying on the core library. I'm grateful for the up-to-date fork!