-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: Russoul/Nova
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Copatterns: defining observations, over primitive corecursion
#71
opened Aug 28, 2026 by
Russoul
Owner
Loading…
Language reference: a beginner's book that quotes the sources
#69
opened Aug 27, 2026 by
Russoul
Owner
Loading…
Parametrised modules, instantiated and renaming imports, postfix operators — group theory in textbook notation
#67
opened Aug 22, 2026 by
Russoul
Owner
Loading…
ProTip!
Follow long discussions with comments:>50.