c389f93 ^
31ecae8 ^
1
2
# My Homepage Available at https://jakob.odersky.com. Generated with pandoc and make.