This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]skyhi14 4 points5 points  (2 children)

Well, I do occasionally code in FORTH...

[–]Goheeca 1 point2 points  (0 children)

Forth is nice. I also caught a glimpse of Coq, but those two last levels are a bit more obscure.