Mercurial > repo
view paste/paste.16467 @ 11182:9d5983817909
<wob_jonas> learn Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. His heroic exploits include the resurrection of the Kings of Men and the conquest of the racists of Gondor. He now leads the Illuminati from his pyramid fort /\xea\x99\xa9\\ .
author | HackBot |
---|---|
date | Sat, 02 Sep 2017 18:01:47 +0000 |
parents | b30df78e892e |
children |
line wrap: on
line source
2010-08-21.txt:00:24:22: <botte> coq's syntax is better than agda for people who actually use it. interactive development is possible with Proof General; much nicer than Agda's mode. Proving things in Agda is almost impossible; it is not developed for that at all, while Coq is built around it. ProofGeneral makes it even nicer. 2010-08-21.txt:17:24:29: <alise> use proofgeneral with electric mode and three window mode 2010-08-21.txt:17:25:05: <alise> with proofgeneral electric three-window you have one window for your file 2010-08-21.txt:17:26:54: <Phantom_Hoover> alise, I haven't tried Proofgeneral yet, though. 2010-08-22.txt:21:59:25: <Vonlebio> OK, why has Proofgeneral's indentation behaviour changed all of a sudden? 2010-11-28.txt:17:45:30: * Phantom_Hoover decides to reduce his confusion with ProofGeneral steppery. 2011-04-07.txt:20:07:30: <elliott> proofgeneral's interface to the toplevel. 2011-04-07.txt:20:08:19: <elliott> augur: turn on three window mode and electric terminator in proofgeneral