forthel

There are 4 repositories under forthel topic.

naproche/naproche
Write formal proofs in natural language and LaTeX.
Language:Haskell32 9 67
McEarl/forthel-syntax
Complete reference of the syntax of ForTheL
Language:Shell3 1 00
McEarl/language-forthel
Syntax highlighting for ForTheL and LaTeX in Pulsar
Language:Less1 1 00
McEarl/ftlex
A generic ForTheL lexer
Language:Haskell1 0