search

aya-prover / aya-prover-proto

┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛
GNU General Public License v3.0
11 stars 0 forks source link

Inline eta* methods to uneta #723

Closed tonfeiz closed 3 years ago

tonfeiz commented 3 years ago

@tonfeiz Don't forget about the inlines :rofl:. What do you wanna do next?

@ice1000 If there are any other issues suitable for me, I can try them. Otherwise I'm going to try to understand the whole compiling process. There are still lots of details left.

ice1000 commented 3 years ago

@tonfeiz Don't forget about the inlines :rofl:. What do you wanna do next?

@ice1000 If there are any other issues suitable for me, I can try them. Otherwise I'm going to try to understand the whole compiling process. There are still lots of details left.

739