4 ms·
If anyone wants to try Idris out, there is an Idris starter package for the very neat Vindinium AI challenge: http://vindinium.org/starters http://vindinium.org
by joelthelion 12y ago
If anyone wants to try Idris out, there is an Idris starter package for the very neat Vindinium AI challenge: http://vindinium.org/starters http://vindinium.org/starters