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: 2 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 (over 4 years ago)
- Default Branch: master
- Last Pushed: 2022-04-29T17:21:04.000Z (almost 3 years ago)
- Last Synced: 2025-02-01T20:44:57.770Z (3 months ago)
- Topics: ocaml, rust, tex, virtual-machine
- Language: TeX
- Homepage:
- Size: 64.5 KB
- Stars: 5
- Watchers: 3
- Forks: 0
- Open Issues: 0