https://github.com/usaoc/sl-fns-simply-typed

Strictly local functions are simply typed
https://github.com/usaoc/sl-fns-simply-typed

latex latex-document

Last synced: 17 days ago
JSON representation

Strictly local functions are simply typed

• Host: GitHub
• URL: https://github.com/usaoc/sl-fns-simply-typed
• Owner: usaoc
• Created: 2024-04-22T08:40:00.000Z (10 months ago)
• Default Branch: master
• Last Pushed: 2024-04-26T03:21:22.000Z (9 months ago)
• Last Synced: 2024-11-15T15:49:28.647Z (3 months ago)
• Topics: latex, latex-document
• Language: TeX
• Homepage:
• Size: 35.2 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.org

Awesome Lists containing this project

README

        
# Copyright (C) 2024 Wing Hei Chan

# Copying and distribution of this file, with or without modification,

# are permitted in any medium without royalty provided the copyright

# notice and this notice are preserved.  This file is offered as-is,

# without any warranty.

#+title: Strictly Local Functions Are Simply Typed

[[https://doi.org/10.5281/zenodo.11028353][file:https://zenodo.org/badge/DOI/10.5281/zenodo.11028353.svg]]

This repository holds the manuscript of an unpublished paper.  To

compile the PDF file, run [[https://www.ctan.org/pkg/light-latex-make][~llmk~]] under an appropriate TeX Live

environment.