https://gist.githubusercontent.com/calebh/bef99d9fee55f0be0bd93debea840d58/raw/aff6c5fcc8b880a24afc7c66fcdcf91d21cd1cb4/z3-question.txt
https://gist.githubusercontent.com/calebh/fd00632d9c616d4b0c14e7c2865f3085/raw/0457fb8a965323d84c2b89e16be734a8d67d771c/variant.cpp
https://gist.githubusercontent.com/calebh/fd7ff5014d9925b0e2d7473d9d4d5131/raw/dde78937633efd3d8068613f00d9deef07bebe7a/model.py
https://gist.githubusercontent.com/calebh/8a23e0f3d2f7b4682fa540d0c5fcbdc3/raw/8eb785921411b036593598b3329bad8eaffcb898/hie.log
https://gist.githubusercontent.com/calebh/cb474333633817527750ba8b629557a8/raw/baeef0bc08f93c56f611b006559dd590df9bb909/monaddesugar2.hs
https://gist.githubusercontent.com/calebh/ac9734fc782b777326a9e7487672ca4d/raw/dc331d91291eaf2de4dfe4e7715b7ee6516f79e8/monaddesugar1.hs
https://gist.githubusercontent.com/calebh/e17b9051ff7920dde8ff481a156ad2fb/raw/e89dd6a41ab25c8e464592c1318e59b7b42182a1/monadinstances.cs
https://gist.githubusercontent.com/calebh/ee74df3975de82212cde5662924a097a/raw/59e06e0f8c1af82eae2d9edbbdede89d9a7ac0a3/monadinstances.hs
https://gist.githubusercontent.com/calebh/a7ef1f4708312989d3d2db7f11937c34/raw/7c2d78e13fbb61fa83209d62cbc04f1996c8e120/monad.cs
https://gist.githubusercontent.com/calebh/aa8a409cd6bed38be52d3d8d1fa4de02/raw/004a6ec5e0470402dbdb10068de08f26d57a4481/monad.hs
https://gist.githubusercontent.com/calebh/50616b9bcc43e98f1d7e92c15d2de08f/raw/d2094878f385479a1881612d29f74872e4439fb3/mappable.cs
https://gist.githubusercontent.com/calebh/32f03f84a1d1ce6a4ba7c2b6892ddaaf/raw/9cfb2dd0a46e2b21be7668cff557cf1c39c50ea9/mappable.hs
https://gist.githubusercontent.com/calebh/c66ec8dbfb25149c16ba72eeee1050d4/raw/cedb9bcf892ed990e42373ddd9a7b2268f7c7cca/currying.hs
https://gist.githubusercontent.com/calebh/b81d43be96238e99357fb1b91daf320f/raw/69c7fe986793da65a8db72b5431fa6c4a72be716/constraintresults.txt
https://gist.githubusercontent.com/calebh/835ce9d75297a05e6285bfa78ead4cbc/raw/5c61b8269580aee03a5041c2ee39f5832ba3508c/constrainttest.fs
https://gist.githubusercontent.com/calebh/2717af2fe5be22cac686a0269674598c/raw/ed69c202dfbce79c9d6c4cf9f5ef21fbe5885bd2/solver.fs
https://gist.githubusercontent.com/calebh/0cda659b8ba3382a2ed531bf02ca1590/raw/52b12fed7b3e6b3427df7ffa907d03085555836f/constraints.fs
https://gist.githubusercontent.com/calebh/23a4cde754d185e4e611960fd0e64c16/raw/21faadb2b4c8f19f18518638e835a0afa09ed265/tyschemehelpers.fs
https://gist.githubusercontent.com/calebh/374ef0488a2ca8d2d4e325a043af560e/raw/55fc86adf9563e9f33307a49f3ad48ba3b7c23ec/prettyprinter.fs
https://gist.githubusercontent.com/calebh/13a47a5db77e4ac06fac6fdb78e57798/raw/bbc847f22f103930b6cabc951d4fdd4eeeb0b8a8/tyexprshelpers.fs
https://gist.githubusercontent.com/calebh/2f0ec2c34aa21b1895f4774004d01452/raw/6f64ef6fd596faecd1c99ef91f25d3d0477acc08/kinds.fs
https://gist.githubusercontent.com/calebh/6267ef856f6fa99fd539500698808205/raw/54677a81f8234a56977f94fd4c9ab0be28fc6549/tyexprs.fs
https://gist.githubusercontent.com/Frankhoward/4011a425467faec3d45d/raw/492b7a9da4f7a395b14737710fa1bda638077705/BB-8.markdown
https://gist.githubusercontent.com/Frankhoward/4011a425467faec3d45d/raw/d7fa71c48b9cebd55d6ccf9ea1decc68f7ec789d/index.html
https://gist.githubusercontent.com/Frankhoward/4011a425467faec3d45d/raw/05f80f57985685caec8d3ff9804f4a58f8be63d8/script.js
https://gist.githubusercontent.com/Frankhoward/4011a425467faec3d45d/raw/c5dcbb2ae4118af0d0f425ab6f6284272982a368/scripts
https://gist.githubusercontent.com/Frankhoward/4011a425467faec3d45d/raw/b006bda4831b190d597b4bf6502266526a9ab165/style.css
