osa1
github
about
atom
MANTI - Prolog implementation in 515 lines of Haskell
-
July 31, 2013
Type checking with Prolog
-
June 13, 2013