?

Log in

No account? Create an account
Got a start on hacking up the categorification of A&B's Theorem 3… - Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Apr. 12th, 2016|04:50 pm]
Jason
[Tags|]

Got a start on hacking up the categorification of A&B's Theorem 3 in Agda. Always a pleasure to have an excuse to do a little dependently typed programming.
LinkReply