idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 16:51:51 +03:00
Code Issues Projects Releases Wiki Activity
63ddd149ed
Idris2/libs/base/Language
History
Kevin Boulain c148003265 Fix MkRecord signature 
Otherwise we'd get:
  When unifying Name and Maybe Name
  Mismatch between:
          Name
  and
          Maybe Name
  Can't reify as Decl
2020-06-11 21:54:40 +02:00
..
Reflection Fix MkRecord signature 2020-06-11 21:54:40 +02:00
Reflection.idr Make lambda elaborator dependent 2020-06-03 20:23:36 +01:00