Giters

ad-si / purescript-typedtime

Data types to specify datetimes at compile time

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

datepurescripttimeutc

TypedTime

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

About

Data types to specify datetimes at compile time

datepurescripttimeutc

Languages

Language:PureScript 99.7%Language:Makefile 0.3%