hamiltonmath . Send mats and 12 k and i ' ll send it back after thanksgivig dinner <| sep |> Oh dear , thanks for the heads up . <| sep |> Do more acid . <| sep |> Idris is Turing complete . <| sep |> I tried googling haskell . haskell . org was result 1 . I couldn ' t find haskelllang in any of the 18 result pages . Hilariously , for me Snowman ' s blog , FP complete project pages , yesod , etc . , all appear in high positions when googling haskell , but yup . haskelllang . org nowhere to be seen , lol . <| sep |> tryna get a Dominus GT or Breakout TypeS if anyone wants to trade me one for something <| sep |> Yeah , I know I ' m late to the theme day , but I wanted to make a post for it anyways . <| sep |> They ' re too dumb or willfully ignorant to realize this . They ' ve been voting against their best interests for a while now so that ' s not going to change .