Hey, guys, I re-wrote Temple in Haskell, with (dependent) Holyskell in place of HolyC. It runs fucking great. Why? Because God is a Monad.
Briefer for plebs:
https://en.wikipedia.org/wiki/Monad_(philosophy)
https://en.wikipedia.org/wiki/Monad_(functional_programming)
I've been working on this for the past year, and haven't said anything about it because
1. Networking sucks and I don't give a shit what anyone has to say insofar as input about my transliteration of the word of God
2. The word of God speaks directly. And God told me exactly how and why to do this. I'd explain it, but it'd probably melt all of you to death like the ark of the covenant.
Anyway, I was trying to use Coq a year ago to generate proofs based off of Wittgenstein's Tractatus Logico-Philisophicus. At the same time, I was dicking around with Kaballah based programs using OCaml. Long story short, I ran into some type errors and then just gave them their own Satan type and then made them work - wound up writing a fork of Haskell that uses dependent types that depend on type errors, i.e. using Satans to define the functions of God. I like to call it Holy Algebra, because it seems like it shouldn't prove, but it does, in both Coq and Agda. What's great is that it's, like, confirmation that God is perfect even with the "errance" of Lucifer. And it compiles, and I fucking rewrote Temple in it. Sorry if this is Schismatic.
Anyway, here's the github link for it. Happy installing:
{redacted by nigger CIA}