https://github.com/ad-si/purescript-typedtime

Data types to specify datetimes at compile time
https://github.com/ad-si/purescript-typedtime

date purescript time utc

Last synced: 25 days ago
JSON representation

Data types to specify datetimes at compile time

• Host: GitHub
• URL: https://github.com/ad-si/purescript-typedtime
• Owner: ad-si
• Created: 2018-12-05T22:59:37.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2024-01-11T09:25:18.000Z (almost 1 year ago)
• Last Synced: 2024-05-02T05:41:17.179Z (8 months ago)
• Topics: date, purescript, time, utc
• Language: PureScript
• Size: 39.1 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.md

Awesome Lists containing this project

README

        
# TypedTime

Work in progress experiment to savely specify any date at compile time.