chris martens on Nostr: what's your favorite way to represent (discrete) numeric ranges with dependent types? ...
what's your favorite way to represent (discrete) numeric ranges with dependent types? (e.g. what's the type of "numbers between 6 and 9")
Published at
2026-09-25 19:15:51 UTCEvent JSON
{
"id": "e6ec784288a654e46c38d9ec5281a6a64dc92f3c9f6dbc75145cdd5a354b3697",
"pubkey": "a0732c7504ef9fb84247ed1a1d5d6db35c58deae158b4527acb596ebd5f00423",
"created_at": 1790363751,
"kind": 1,
"tags": [
[
"proxy",
"https://hci.social/users/chrisamaphone/statuses/117333278827524748",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "what's your favorite way to represent (discrete) numeric ranges with dependent types? (e.g. what's the type of \"numbers between 6 and 9\")",
"sig": "b86190e1aa4aeb77a9838b2316583ccf2122867ca032dd5c8e64eb1d1d31355fcc526ff118c87e37fb62676dd8b1650252e164596290fe5985931c97e82ac543"
}
