Ben - Jan 31

Ben says

I've attached my code for the implementation of M. I think I've ironed out the bugs. It includes some demo definitions/code implementing operations with nats and conats, including the stuff in the first five exercises of chapter 15.

Jim says

I've looked through some of the twelf docs and understand more about what it is. I've installed and used it for a trivial example within emacs on my home desktop mac.

I would still like to see you posting here each week.

in class

Working on a Haskell implementation of the language M in chapter 15, which does type checking on expressions and evaluates ("reduces") them.

Related and used in Ben's code :

• http://hackage.haskell.org/package/bound-2.0.1/docs/Bound.html
• http://hackage.haskell.org/package/deriving-compat

attachments

		last modified	size
	M.hs	Wed May 01 2024 12:44 pm	14K