lcpt-2013-14

Програмите от лекциите по ЛСТД на магистърска програма Компютърна лингвистика, 2013/14

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
LICENSE		LICENSE
README.md		README.md
Y.scm		Y.scm
cbn.hs		cbn.hs
cbv.scm		cbv.scm
minlog-examples.scm		minlog-examples.scm
minlog-intro.scm		minlog-intro.scm
minlog.el.patch		minlog.el.patch
nbe.hs		nbe.hs
num.hs		num.hs
num_types.hs		num_types.hs
type_inference.hs		type_inference.hs
type_inference.pro		type_inference.pro
type_inhabitance.pro		type_inhabitance.pro

Provide feedback