search

andorp / DepPy

Imagine a Dependently Typed Python
MIT License
5 stars 0 forks source link

agda implementation of def equality #4

Open txa opened 1 month ago

txa commented 3 weeks ago

impementation, testing not yet