https://github.com/mit-plv/timl

TiML: A Functional Programming Language with Time Complexity
https://github.com/mit-plv/timl

functional-programming mlton sml standard-ml time-complexity

Last synced: 4 days ago
JSON representation

TiML: A Functional Programming Language with Time Complexity

• Host: GitHub
• URL: https://github.com/mit-plv/timl
• Owner: mit-plv
• Created: 2017-08-28T14:44:45.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2017-08-28T14:45:28.000Z (about 7 years ago)
• Last Synced: 2024-07-30T20:38:45.572Z (4 months ago)
• Topics: functional-programming, mlton, sml, standard-ml, time-complexity
• Language: Standard ML
• Homepage: http://timl.csail.mit.edu
• Size: 9.36 MB
• Stars: 75
• Watchers: 12
• Forks: 6
• Open Issues: 2

Awesome Lists containing this project