violet-dev — sourcehut todo

~dannypsnl/violet-dev

Register here or Log in to submit tickets, or submit via email.

#4

type class feature

11 months ago

0 comments

#22

classified type feature

1 year, 5 months ago

1 comment

#16

glued evaluation feature

1 year, 5 months ago

0 comments

#15

attached lemma (dependently pre/post condition) feature

1 year, 5 months ago

0 comments

#7

runtime implementation

1 year, 5 months ago

1 comment

#3

termination checking for definition feature

1 year, 5 months ago

0 comments