https://github.com/eudoxia0/l0

Linear Lisp
https://github.com/eudoxia0/l0

linear-types lisp sml standard-ml

Last synced: about 2 months ago
JSON representation

Linear Lisp

• Host: GitHub
• URL: https://github.com/eudoxia0/l0
• Owner: eudoxia0
• License: gpl-3.0
• Created: 2018-08-21T02:00:36.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-08-28T23:07:40.000Z (over 6 years ago)
• Last Synced: 2024-04-20T00:44:46.818Z (8 months ago)
• Topics: linear-types, lisp, sml, standard-ml
• Language: Standard ML
• Size: 407 KB
• Stars: 3
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project