Create your own GitHub profile
- Uppsala, Sweden
An implementation for the sequent calculus and some logics (IL, ILL for now)
An `lldb` command that prints the whole stack and all values on it.
Forked from treacheroustalks/docs
Forked from treacheroustalks/Treacherous-Talks
An online implementation of the Diplomacy board game in Erlang.