 |
Post AvLnNNbrelrSSgUdRg by [email protected] |
 |
More posts by [email protected] |
|
Post #AvLnNK0B4QvtGvpzmq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Today when writing a paper in LaTeX based on Agda code in TypeTopology, I was a… |
|
|
|
Post #AvLnNMpeY1IS39w8Ia by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo That's basically why I write: to debug my thoughts. My progr… |
|
|
|
Post #AvLnNNbrelrSSgUdRg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo Yesterday I had a somewhat similar experience with some code I w… |
