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: 5 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 (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2024-01-11T09:25:18.000Z (almost 2 years ago)
• Last Synced: 2025-04-04T00:27:29.531Z (6 months ago)
• Topics: date, purescript, time, utc
• Language: PureScript
• Size: 39.1 KB
• Stars: 3
• Watchers: 2
• 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.