Solving Rings in Agda
3 by lelf | 0 comments on Hacker News.
Mar 30, 2019
New top story on Hacker News: Solving Rings in Agda
';
(function() {
var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true;
dsq.src = '//' + disqus_shortname + '.disqus.com/embed.js';
(document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
})();
0 comments:
Post a Comment