https://github.com/gfngfn/tex_of_ocaml

A compiler for untyped lambda terms to TeX code
https://github.com/gfngfn/tex_of_ocaml

ocaml rust tex virtual-machine

Last synced: 3 months ago
JSON representation

A compiler for untyped lambda terms to TeX code

• Host: GitHub
• URL: https://github.com/gfngfn/tex_of_ocaml
• Owner: gfngfn
• Created: 2020-11-28T10:53:34.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2022-04-29T17:21:04.000Z (over 2 years ago)
• Last Synced: 2023-08-21T23:18:23.653Z (over 1 year ago)
• Topics: ocaml, rust, tex, virtual-machine
• Language: TeX
• Homepage:
• Size: 64.5 KB
• Stars: 6
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project