deepseq-bounded-0.5.0: HTML/index.html
<!DOCTYPE html> <html> <head> <title>Bounded DeepSeq</title> </head> <body> <!--div style="color: #F33; margin-top: 40px; font-size: 16pt;"> (Notes to self.) </div--> <script>document.location = "deepseq-bounded.html";</script> </body> </html>