Andrew Marmaduke
Andrew Marmaduke
The elaborated output of the following code: ``` data Unit : ★ = | unit : Unit. bug : Unit ➔ Unit = λ u. μ rec. u { |...
Consider the following example: ``` import core/bot. data EmbeddableType : ★ = | e1 : EmbeddableType | e2 : False ➾ EmbeddableType. bug : EmbeddableType ➔ EmbeddableType = λ e....
With the great work of @CarlOlson we are getting close to an HTML archive of `.ced` files that support some of the structured editing that exists inside the emacs mode....
Hi! Really nice tool, I'd like to see it grow! I'm willing to give some assistance, as I'm interested in using it for my own presentations, so I'm using this...
I think the library could get a lot more bang for its buck by introducing macros for building objects so that elements don't have to be box'd and build over...
Per the title: The gratr tool is needed by the Makefile and additional files (i.e. `parse` and `parse-tree`) which, I believe, are generated from gratr are needed by the huffman...
Hi, I've been expermenting with hconsing with NBE for lambda calculus. This library is the primary inspiration, which I've mostly copied. Originally, I was using the library, but ran into...