search

HigherOrderCO / monobook

AGDA
22 stars 5 forks source link

Add Bend Fun types #39

Closed developedby closed 5 days ago

developedby commented 1 week ago

Book, Definition, Term and all they require.