Useful Idris Resources

Useful resources

Programming person with notebook