polymonyrks's repositories
algprog
Algebra of Programming in Agda
Language:AgdaBSD-3-Clause000
clispln
Learning Common Lisp
Language:Common LispBSD-3-Clause000
computationalLogic
from Samuel Mimram's Lectures
Language:HTMLBSD-3-Clause000
csfp
Computational Semantics with Functional Programming
Language:HaskellNOASSERTION000
landoflisp
Land of Lisp (hands on)
BSD-3-Clause000
nlps
Haskellでつくる自然言語処理ガジェット(Data.List編)
Language:HaskellBSD-3-Clause000
000