Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
V_V comments on
Botworld: a cellular automaton for studying self-modifying agents embedded in their environment
V_V
13 Apr 2014 17:09 UTC
1
point
So next version will accept robot programs written in Coq, I suppose ;)
Back to top
So next version will accept robot programs written in Coq, I suppose ;)