https://github.com/paul-buerkner/monotonic-effects-paper
This repository contains a manuscript in which we introduce monotonic effects.
https://github.com/paul-buerkner/monotonic-effects-paper
Last synced: about 2 months ago
JSON representation
This repository contains a manuscript in which we introduce monotonic effects.
- Host: GitHub
- URL: https://github.com/paul-buerkner/monotonic-effects-paper
- Owner: paul-buerkner
- Created: 2018-06-30T16:33:12.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2019-12-08T21:26:27.000Z (over 5 years ago)
- Last Synced: 2025-01-29T16:44:18.800Z (4 months ago)
- Language: TeX
- Homepage:
- Size: 64.1 MB
- Stars: 7
- Watchers: 5
- Forks: 0
- Open Issues: 0
-
Metadata Files: