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
xamarin.android
kaldi
x11
linklabel
dynamic-frameworks
beeline
android-jetpack-compose-text
mio
clsx
luacom
varray
avpro-media-player
amazonsellercentral
file-comparison
xlsb
cm-synergy
hanami
playgrounds
spamassassin
android-jetpack-compose-layout
wkb
dotmemory
babel-jest
angular-cdk-virtual-scroll
qsub
pubg
fluidsynth
hydra
react-native-debugger
project-calico
