Gil's repositories
AdaMovieStoreSample
Sample project for Ada's C3
learning-idris
My idris learning exercises
2014_Base
The base code used for the 2014 FRC season.
Language:Python000
Sample project for Ada's C3
My idris learning exercises
The base code used for the 2014 FRC season.