I'm following the TDD book in Idris 2, and the online documentation gives the following advice: For the VList view in the exercise 4 after Chapter 10-2 import
librsvg
gzipstream
blue-screen-of-death
servemux
flutter-file
yugabytedb
merit-gem
terminator
pivotal-web-services
picturefill
applicationreference
cls-compliant
flying-saucer
angular-module-federation
activiti
home-screen-widget
google-analytics-campaign-builder
monte-carlo-tree-search
jxtable
jail
numpy-ndarray
2d-3d-conversion
mysql-error-1067
core-ui
toybox
serverside-datatable
eventqueue
ipython-parallel
luacom
return-by-reference
