search

HigherOrderCO / monobook

AGDA
22 stars 5 forks source link

Add compilation of Bend AST to internal inet representation #50

Closed developedby closed 5 days ago

developedby commented 1 week ago

Currently based on top of #41