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
business-logic-layer
ansible-playbook
dns-over-https
vuex-module-decorators
gettype
omeka
zebra-puzzle
ibm-jdk
microdata
integration-studio
autoprefixer
django-orm
ontology
r-text
qmenubar
xna-4.0
struts2-config-browser
valet
dataflowtask
escript
adler32
sas-visual-analytics
decentraland-ecs
camera-intrinsics
zend-route
vuestic
android-logcat
ora-00942
barcode
google-analytics-firebase
