like gol, but in haskell
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
version of Hol with actual effort (partial port of lolbirb)
License:MIT License